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)

Full work available at URL https://doi.org/10.1007/11575467

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)