Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493387zbMATH OpenFDO

Authors Hugh Anderson, Siau-Cheng Khoo, Ştefan Andrei, Beatrice Luca

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Affine-based size-change termination.
• Asymptotically precise ranking functions for deterministic size-change systems
• The size-change principle for program termination
• scientific article; zbMATH DE number 2018591
• Programming Languages and Systems

Cited in

(1)

• Horn clauses as an intermediate representation for program analysis and transformation

Describes a project that uses

Uses Software

• REDLOG
• QEPCAD

This page was built for publication: Programming Languages and Systems

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