scientific article; zbMATH DE number 756052

zbMATH Open0830.68075MaRDI QIDQ4698363FDOQ4698363

Authors: Kei Davis 

Publication date: 17 May 1995

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

termination analysis

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)