scientific article; zbMATH DE number 4135383

MaRDI QIDQ3468602zbMATH OpenFDO

Authors Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas

Publication date 1990

zbMATH Keywords

algebraic data typeobject-oriented programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) Semantics in the theory of computing (68Q55)

Recommendations

• Object interaction
• scientific article; zbMATH DE number 944097
• scientific article; zbMATH DE number 1088218
• scientific article; zbMATH DE number 51716
• Simple type-theoretic foundations for object-oriented programming

Cited in

(8)

• Temporal theories as modularisation units for concurrent system specification
• Denotational semantics of an object-oriented programming language with explicit wrappers
• Object inheritance beyond subtyping
• Progress assumption in concurrent systems
• My ADT shrine
• scientific article; zbMATH DE number 17707 (Why is no real title available?)
• D-oids: a model for dynamic data-types
• Object interaction

This page was built for publication:

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