scientific article; zbMATH DE number 814800

MaRDI QIDQ4855345zbMATH OpenFDO

Authors Samuel Kamin, Uday S. Reddy

Publication date 16 April 1996

zbMATH Keywords

closure modeldata structure modelobject-oriented languagesSMALLTALK-80

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1512072
• scientific article; zbMATH DE number 1210910
• scientific article; zbMATH DE number 1860665
• scientific article; zbMATH DE number 1754583
• scientific article; zbMATH DE number 1231588
• A domain-theoretic model of nominally-typed object-oriented programming
• scientific article; zbMATH DE number 1487734
• Semantics, calculi, and analysis for object-oriented specifications
• Object modelling languages: An evaluation and some key expectations for the future

Cited in

(14)

• Semantics and logic of object calculi
• Comparing object encodings.
• Objects and classes in Algol-like languages
• A minimalist approach to objects
• A domain-theoretic model of nominally-typed object-oriented programming
• Class-based versus object-based: a denotational comparison
• Semantic types and approximation for Featherweight Java
• scientific article; zbMATH DE number 139982 (Why is no real title available?)
• scientific article; zbMATH DE number 1210910 (Why is no real title available?)
• scientific article; zbMATH DE number 814793 (Why is no real title available?)
• A CuCh interpretation of an object-oriented language
• Wrapper semantics of an object-oriented programming language with state
• Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
• The equivalence of two semantic definitions for inheritance in object-oriented languages

Describes a project that uses

Uses Software

• 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 Q4855345)