Equational reasoning about programs with general recursion and call-by-value semantics

The cover of this title could differ from library to library.

Read via the Internet

Begin reading now

NDL Digital Collections

Digital data available

Check on the publisher's website

DOI[10.2201/NiiPi.2013.10.3]to the data of the same series

Equational reasoning about programs with general recursion and call-by-value semantics

Persistent ID (NDL): info:ndljp/pid/10365934

Material type: 記事

Author: Garrin Kimmellほか

Publisher: 国立情報学研究所

Publication date: 2013-03

Material Format: Digital

Journal name: Progress in informatics (10)

Publication Page: -

View All

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 記事
Title: Equational reasoning about programs with general recursion and call-by-value semantics
Author/Editor: Garrin Kimmell
Aaron Stump
Harley D. Eades
Publication, Distribution, etc.: 日本 : 国立情報学研究所
Publication Date: 2013-03
Publication Date (W3CDTF): 2013-03
Alternative Title: 一般再帰および値呼び意味論を用いたプログラムに関する等式推論
Periodical title: Progress in informatics
No. or year of volume/issue: (10)
Volume: (10)
ISSN (Periodical Title): 1349-8606
ISSN-L (Periodical Title): 1349-8606
Text Language Code: eng
DOI: 10.2201/NiiPi.2013.10.3
https://doi.org/10.2201/NiiPi.2013.10.3
Persistent ID (NDL): info:ndljp/pid/10365934
https://dl.ndl.go.jp/pid/10365934
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 独立行政法人
https://dl.ndl.go.jp/collections/B00033
Acquisition Basis: インターネット資料収集保存事業（WARP）
Date Accepted (W3CDTF): 2017-06-14T13:44:24+09:00
Date Captured (W3CDTF): 2014-03-16
Format (IMT): application/pdf
Access Restrictions: インターネット公開
Availability of remote photoduplication service: 不可
Periodical Title (URI): https://warp.da.ndl.go.jp/info:ndljp/pid/8435723/www.nii.ac.jp/pi/html/n10_mar2013_toc.html
Periodical Title (Persistent ID (NDL)): info:ndljp/pid/10365931
https://dl.ndl.go.jp/pid/10365931
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp