Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68361MaRDI QIDQ5493387FDOQ5493387

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)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (1)

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

Uses Software

• QEPCAD
• REDLOG

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)