Semantics-based composition of class hierarchies

DOI10.1007/3-540-47993-7_24MaRDI QIDQ3046762zbMATH OpenFDO

Authors Gregor Snelting, Frank Tip

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2374/23740562.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computing methodologies and applications (68U99)

Recommendations

• Inheritance hierarchies: Semantics and unifications
• An operational semantics for object-oriented concepts based on the class hierarchy
• Verification, Model Checking, and Abstract Interpretation
• Behavioural specification for hierarchical object composition
• Formal Methods for Components and Objects
• Algebraic Methodology and Software Technology

Cited in

(6)

• Uniform and safe metaclass composition
• Compressed pseudo-lattices
• Base class injection
• Transformations of concept graphs: an approach to empirical induction
• Knowledge sharing in organizational structures
• Verification, Model Checking, and Abstract Interpretation

Describes a project that uses

Uses Software

• Featherweight Java
• AspectJ

This page was built for publication: Semantics-based composition of class hierarchies

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