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

correctness proofsDOuponoptimizationpredicate transformer

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

(12)

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

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)