A generalized iterative construct and its semantics

DOI10.1145/29873.30391MaRDI QIDQ3768365zbMATH OpenOpenAlexFDO

Authors Ed Anson

Publication date 1987

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/toplas/1987-9/

zbMATH Keywords

optimizationcorrectness proofspredicate transformerDOupon

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 23834
• Laws of programming
• Heuristics for constructing while loops
• A method and a language for constructing iterative programs
• scientific article; zbMATH DE number 4005583

Cited in

(10)

• Representing any-time and program-iteration by infinitary conjunction
• scientific article; zbMATH DE number 1206045 (Why is no real title available?)
• Generalized coiteration schemata
• scientific article; zbMATH DE number 6740664 (Why is no real title available?)
• Evitable iterates of the consistency operator
• A note on an expressiveness hierarchy for multi-exit iteration
• The Semantics of New While Loop
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 3881860 (Why is no real title available?)
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability

This page was built for publication: A generalized iterative construct and its semantics

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