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

DOI10.1016/0096-0551(93)90037-2zbMath0770.68086OpenAlexW1997553781MaRDI QIDQ4697448

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

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

Uses Software

• CLOS

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