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

• 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