Algebraic reasoning for object-oriented programming

DOI10.1016/j.scico.2004.03.003zbMath1091.68027OpenAlexW2002295687MaRDI QIDQ1887669

Paulo Borba, Augusto Sampaio, Márcio Cornélio, Ana Cavalcanti

Publication date: 22 November 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.03.003

zbMATH Keywords

sequential Java

Mathematics Subject Classification ID

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

Related Items (8)

On assertion-based encapsulation for object invariants and simulations ⋮ Laws of Programming for References ⋮ An algebraic approach to the design of compilers for object-oriented languages ⋮ Refactoring and representation independence for class hierarchies ⋮ Synchronizing Model and Program Refactoring ⋮ Sound refactorings ⋮ A theory of software product line refinement ⋮ A Static Semantics for Alloy and its Impact in Refactorings

This page was built for publication: Algebraic reasoning for object-oriented programming