The size-change principle for program termination
DOI10.1145/360204.360210zbMath1323.68216OpenAlexW1993129359WikidataQ57483905 ScholiaQ57483905MaRDI QIDQ5178875
Neil D. Jones, Chin Soon Lee, Amir M. Ben-Amram
Publication date: 17 March 2015
Published in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/360204.360210
Formal languages and automata (68Q45) Functional programming and lambda calculus (68N18) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (61)
This page was built for publication: The size-change principle for program termination