Laws of Programming for References
From MaRDI portal
Publication:2937790
DOI10.1007/978-3-319-03542-0_9zbMath1426.68057OpenAlexW1637741363MaRDI QIDQ2937790
Augusto Sampaio, Giovanny Lucero, David A. Naumann
Publication date: 12 January 2015
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-03542-0_9
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
Cites Work
- Refactoring and representation independence for class hierarchies
- The dynamic frames theory
- Concurrent Kleene algebra and its foundations
- rCOS: a refinement calculus of object systems
- Algebraic reasoning for object-oriented programming
- In praise of algebra
- Sound refactorings
- A logical analysis of aliasing in imperative higher-order functions
- Laws of Programming for References
- Simple relational correctness proofs for static analyses and program transformations
- Ownership confinement ensures representation independence for object-oriented programs
- Completeness for Algebraic Theories of Local State
- Laws of programming
- Refinement Calculus
- Local Reasoning for Global Invariants, Part I
- On Hoare logic and Kleene algebra with tests
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Laws of Programming for References
