Algebraic reasoning for object-oriented programming

DOI10.1016/J.SCICO.2004.03.003MaRDI QIDQ1887669zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Laws of programming for references
• An algebraic approach to the design of compilers for object-oriented languages
• Refactoring by transformation
• Sound refactorings
• Invariants and well-foundedness in program algebra

Cited in

(16)

• Laws of programming for references
• Refactoring and representation independence for class hierarchies
• A theory of software product line refinement
• scientific article; zbMATH DE number 1949614 (Why is no real title available?)
• An algebraic approach to the design of compilers for object-oriented languages
• scientific article; zbMATH DE number 549985 (Why is no real title available?)
• LP-structures analysis: substantiation of refactoring in object-oriented programming
• A static semantics for Alloy and its impact in refactorings
• LP structures on type lattices and some refactoring problems
• Sound refactorings
• scientific article; zbMATH DE number 58285 (Why is no real title available?)
• An algebraic approach to formalization of object-orientation^*
• Synchronizing model and program refactoring
• On assertion-based encapsulation for object invariants and simulations
• Refactoring by transformation
• Object oriented protoconcepts and logics for double and pure double Boolean algebras

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

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