Presentation | 2023-01-11 A formal description of a functional language with exception handling, and constrained dependency pairs for the termination proofs Takeshi Hamaguchi, Masahiko Sakai, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | This paper proposes a termination-proof method for functional programs with exception handling. First, we give a small step semantics as a formal description to describe the precise eager-evaluation order for one of such languages. Based on the dependency pair method for termination proofs on term rewriting systems, we define constrained dependency pairs (CDP) and a termination proof method using CDP for the target programs. Then, we present outlined proofs of soundness and completeness of the method. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | functional programs / termination / exception handling / constrained dependency pairs |
Paper # | MSS2022-56,SS2022-41 |
Date of Issue | 2023-01-03 (MSS, SS) |
Conference Information | |
Committee | MSS / SS |
---|---|
Conference Date | 2023/1/10(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Atsuo Ozaki(Osaka Inst. of Tech.) / Kozo Okano(Shinshu Univ.) |
Vice Chair | Shingo Yamaguchi(Yamaguchi Univ.) / Yoshiki Higo(Osaka Univ.) |
Secretary | Shingo Yamaguchi(Hokkaido Univ.) / Yoshiki Higo(NEC) |
Assistant | Masato Shirai(Shimane Univ.) / Shinsuke Matsumoto(Osaka Univ.) |
Paper Information | |
Registration To | Technical Committee on Mathematical Systems Science and its Applications / Technical Committee on Software Science |
---|---|
Language | ENG-JTITLE |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A formal description of a functional language with exception handling, and constrained dependency pairs for the termination proofs |
Sub Title (in English) | |
Keyword(1) | functional programs |
Keyword(2) | termination |
Keyword(3) | exception handling |
Keyword(4) | constrained dependency pairs |
1st Author's Name | Takeshi Hamaguchi |
1st Author's Affiliation | Nagoya University(Nagoya Univ.) |
2nd Author's Name | Masahiko Sakai |
2nd Author's Affiliation | Nagoya University(Nagoya Univ.) |
Date | 2023-01-11 |
Paper # | MSS2022-56,SS2022-41 |
Volume (vol) | vol.122 |
Number (no) | MSS-329,SS-330 |
Page | pp.pp.66-71(MSS), pp.66-71(SS), |
#Pages | 6 |
Date of Issue | 2023-01-03 (MSS, SS) |