An algebraic approach to formalization of object-orientation*

DOI10.1080/00207169508804409MaRDI QIDQ4876361zbMATH OpenOpenAlexFDO

Authors

Publication date 1 May 1996

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207169508804409

zbMATH Keywords

abstract data typealgebraic specificationobject-orientation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 58285
• A formal approach to object-oriented software engineering
• Algebraic specification techniques in object oriented programming environments
• Algebraic reasoning for object-oriented programming
• scientific article; zbMATH DE number 1086650
• Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics
• scientific article; zbMATH DE number 6622714

Cites work

• scientific article; zbMATH DE number 3821076 (Why is no real title available?)
• scientific article; zbMATH DE number 3986617 (Why is no real title available?)
• On the algebraic definition of programming languages

Cited in

(17)

• Virginity: A contribution to the specification of object-oriented software
• Object oriented protoconcepts and logics for double and pure double Boolean algebras
• Object calculus and the object-oriented analysis and design of an error-sensitive GIS
• scientific article; zbMATH DE number 1686270 (Why is no real title available?)
• A recursive object algebra based on aggregation abstraction for manipulating complex objects
• Expression-Based Aliasing for OO–languages
• scientific article; zbMATH DE number 58285 (Why is no real title available?)
• The object-oriented paradigm and automata theory
• scientific article; zbMATH DE number 1086650 (Why is no real title available?)
• scientific article; zbMATH DE number 1104378 (Why is no real title available?)
• scientific article; zbMATH DE number 219197 (Why is no real title available?)
• Formal justification in object-oriented modelling: A linguistic approach
• Object organisation in software environments for formal methods
• scientific article; zbMATH DE number 962431 (Why is no real title available?)
• Mechanisms for naming an algebraic approach with an application to Java
• An operational semantics for object-oriented concepts based on the class hierarchy
• Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics

Describes a project that uses

Uses Software

• Smalltalk

This page was built for publication: An algebraic approach to formalization of object-orientation^*

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