The role of auxiliary variables in the formal development of concurrent programs

DOI10.1007/978-1-84882-912-1_8MaRDI QIDQ3163402zbMATH OpenOpenAlexFDO

Authors

Publication date 26 October 2010

Published in Reflections on the Work of C.A.R. Hoare (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84882-912-1_8

zbMATH Keywords

compositionality

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Specification of concurrent objects using auxiliary variables
• Auxiliary variables in data refinement
• Effectively eliminating auxiliaries
• Programming Languages and Systems
• Axiomatic treatment of processes with shared variables revisited

Cited in

(9)

• Auxiliary variables in data refinement
• Effectively eliminating auxiliaries
• Possible values: exploring a concept for concurrency
• A structural approach to prophecy variables
• Elucidating concurrent algorithms via layers of abstraction and reification
• Logic Based Program Synthesis and Transformation
• Auxiliary variables in partial correctness programming logics
• Specification of concurrent objects using auxiliary variables
• Balancing expressiveness in formal approaches to concurrency

This page was built for publication: The role of auxiliary variables in the formal development of concurrent programs

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