Art
J-GLOBAL ID：201102257678534413
Reference number：11A1900657
Proving Method of Termination/Non-Termination for Functional Programs with Exception Handling
例外処理を持つ関数型プログラムの停止性・非停止性証明法
-
Publisher site
Copy service
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=11A1900657©=1") }}
-
Access JDreamⅢ for advanced search and analysis.
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=11A1900657&from=J-GLOBAL&jstjournalNo=L7379A") }}
Author (4)：
,
,
,
Material：
Volume：
2010
Issue：
2
Page：
ROMBUNNO.PUROGURAMINGU,VOL.4,NO.2,13-30
Publication year：
Apr. 15, 2011
JST Material Number：
L7379A
ISSN：
1882-7772
Document type：
Article
Article type：
原著論文
Country of issue：
Japan (JPN)
Language：
JAPANESE (JA)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
,
,
,
,
,
,
,
,
,
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
,
,
JST classification (2)：
JST classification
Category name(code) classified by JST.
Computer system development
, Theory of computation
Reference (7)：
-
1) 住井英二郎,大根田裕一,米澤明憲:例外処理機構を備えた命令型言語のCPS変換とその定式化,情報処理学会論文誌プログラミング,Vo1.45, No,SIG 12(PRO 23).
-
2) Benton, N. and Kennedy, A.: Exception Syntax, Journal of Functional Program-ming, Vol.4, No.11, pp.395-410 (2001).
-
3) SchrOder, L. and Mossakowski, T.: Generic Exception Handling and the Java Monad, Proc. Algebraic Methodology and Software Technology 10th International Conference AMAST 2004, Lecture Notes in Computer Science 3116, Stirling, UK,pp.443-459 (2004).
-
4) 馬場正貴,酒井正彦,濱口毅,西田直樹,坂部俊樹,草刈圭一朗:例外処理を持つ関数型プログラムの停止性証明法,第12回プログラミングおよびプログラミング言語ワークショップPPL2010論文集, p.81(2010).
-
5) Giesl, J., Thiemann, R., Schneider-Kamp, P. and Falke, S.: Automated Termi-nation Proofs with AProVE, Proc. 15th International Conference on Rewriting Techniques and Applications (RTA-04), Lecture Notes in Computer Science 3091, Aachen, Germany, pp.210-220 (2004).
ｍore...
Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
Return to Previous Page
