Chapter 6. Algebra of program termination

DOI10.1007/3-540-47797-7_6MaRDI QIDQ4738114zbMATH OpenFDO

Authors Henk Doornbos, Roland C. Backhouse

Publication date 11 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2297/22970203.htm

zbMATH Keywords

fixed points

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Termination of semi-algebraic loop programs
• scientific article; zbMATH DE number 910715
• scientific article; zbMATH DE number 977284
• Algebraic Notions of Termination
• scientific article; zbMATH DE number 7779293
• Program termination analysis in polynomial time
• Termination of polynomial programs
• Program algebra and coprogram calculus
• Logical Approaches to Computational Barriers
• Goto elimination in program algebra

Cited in

(2)

• Programs and datatypes
• scientific article; zbMATH DE number 890353 (Why is no real title available?)

This page was built for publication: Chapter 6. Algebra of program termination

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