scientific article; zbMATH DE number 756052

MaRDI QIDQ4698363zbMATH OpenFDO

Authors Kei Davis

Publication date 17 May 1995

zbMATH Keywords

termination analysis

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
• scientific article; zbMATH DE number 1438809
• Termination analysis for partial functions
• Termination analysis for offline partial evaluation of a higher order functional language
• Programming Languages and Systems

Cited in

(6)

• Control-flow refinement by partial evaluation, and its application to termination and cost analysis
• Termination analysis for offline partial evaluation of a higher order functional language
• scientific article; zbMATH DE number 4016173 (Why is no real title available?)
• scientific article; zbMATH DE number 1194182 (Why is no real title available?)
• scientific article; zbMATH DE number 1543354 (Why is no real title available?)
• Improved Termination Analysis of CHR Using Self-sustainability Analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4698363)