scientific article; zbMATH DE number 4115919

MaRDI QIDQ4730749zbMATH OpenFDO

Authors P. H. M. America

Publication date 1989

zbMATH Keywords

inheritanceobject-oriented programming languagesspecificationsubtypingtype-checking

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99) Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 1696907
• Inheritance-based subtyping
• scientific article; zbMATH DE number 58285
• scientific article; zbMATH DE number 1088218
• Behavioral subtyping relations for active objects

Cited in

(33)

• A layered semantics for a parallel object-oriented language
• Behavioral subtyping relations for active objects
• Class refinement as semantics of correct object substitutability
• An assertion-based proof system for multithreaded Java
• Simplifying subtyping constraints: a theory
• Subtyping inheritance and its application in languages for symbolic computation systems
• Subtyping in OODBs
• On simulation, subtyping and substitutability in sequential object systems
• A blocking model for reactive objects
• Dynamic object-based inheritance with subtyping
• Object-oriented design of the subsumption architecture
• scientific article; zbMATH DE number 1696907 (Why is no real title available?)
• About the differences between the notions of type and class
• Implementing statically typed object-oriented programming languages
• Subtyping in distributed systems
• Behavioural subtyping using invariants and constraints
• scientific article; zbMATH DE number 2089401 (Why is no real title available?)
• scientific article; zbMATH DE number 1088218 (Why is no real title available?)
• scientific article; zbMATH DE number 2011482 (Why is no real title available?)
• scientific article; zbMATH DE number 2143091 (Why is no real title available?)
• scientific article; zbMATH DE number 1931755 (Why is no real title available?)
• scientific article; zbMATH DE number 1860620 (Why is no real title available?)
• scientific article; zbMATH DE number 814801 (Why is no real title available?)
• scientific article; zbMATH DE number 860050 (Why is no real title available?)
• A delegation-based object calculus with subtyping
• A new formalization of subtyping to match subclasses to subtypes
• Theoretical Computer Science
• A Representation-Independent Behavioral Semantics for Object-Oriented Components
• Sound and relaxed behavioural inheritance
• Typed homomorphic relations extended with subtypes
• Lazy behavioral subtyping
• Method redefinition-ensuring alternative behaviors
• Issues in the design of a parallel object-oriented language

Describes a project that uses

Uses Software

• CLOS
• Smalltalk

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 Q4730749)