A denotational approach for type-checking in object-oriented programming languages

DOI10.1016/0096-0551(93)90037-2MaRDI QIDQ4697448zbMATHOpenAlexFDO

Authors Roberto Ierusalimschy

Publication date 29 June 1993

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0096-0551(93)90037-2

zbMATH Keywords

type systemsemantics of programming languagesobject oriented programming language

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• An operational approach to the semantics of classes: Application to type checking
• scientific article; zbMATH DE number 1251179
• scientific article; zbMATH DE number 1354148
• Types and programing languages
• scientific article; zbMATH DE number 4080882

Cited in

(10)

• scientific article; zbMATH DE number 711035 (Why is no real title available?)
• An operational approach to the semantics of classes: Application to type checking
• Self and selftype
• Type Checking by Domain Analysis in Ampersand
• Behavioural types for memory and method safety in a core object-oriented language
• Mechanisms for improved covariant type-checking
• Erratum to ``Efficient inference of object types
• Lower bounds on type checking overloading
• An operational semantics for TOOPLE: A statically-typed object-oriented programming language
• Preemptive Type Checking in Dynamically Typed Languages

Describes a project that uses

Uses Software

• CLOS

This page was built for publication: A denotational approach for type-checking in object-oriented programming languages

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