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)