Objects and classes in Algol-like languages

DOI10.1006/INCO.2001.2927MaRDI QIDQ1854495zbMATH OpenOpenAlexFDO

Authors Uday S. Reddy

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL http://pure-oai.bham.ac.uk/ws/files/12780873/objects_and_classes.pdf

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1088218
• A logic of object-oriented programs
• scientific article; zbMATH DE number 1058947
• Logical foundations of object-oriented and frame-based languages
• An algebraic theory of actors and its application to a simple object-based language

Cites work

• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 431769 (Why is no real title available?)
• scientific article; zbMATH DE number 3864476 (Why is no real title available?)
• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 51216 (Why is no real title available?)
• scientific article; zbMATH DE number 1231473 (Why is no real title available?)
• scientific article; zbMATH DE number 1231510 (Why is no real title available?)
• scientific article; zbMATH DE number 512792 (Why is no real title available?)
• scientific article; zbMATH DE number 615137 (Why is no real title available?)
• scientific article; zbMATH DE number 1088040 (Why is no real title available?)
• scientific article; zbMATH DE number 1088218 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 4119660 (Why is no real title available?)
• scientific article; zbMATH DE number 814800 (Why is no real title available?)
• scientific article; zbMATH DE number 3431773 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 4189708 (Why is no real title available?)
• A calculus for concurrent objects
• A model for syntactic control of interference
• Behavioural correctness of data representations
• From Algol to polymorphic linear lambda-calculus
• Parametricity and local variables
• Positive subtyping
• Proof of correctness of data representations
• SIMULA: an ALGOL-based simulation language
• Semantical analysis of specification logic
• Simple type-theoretic foundations for object-oriented programming
• Syntactic control of interference revisited
• The denotational semantics of programming languages

Cited in

(8)

• Musings around the geometry of interaction, and coherence
• Semantics and logic of object calculi
• An automata-theoretic model of Idealized Algol (extended abstract)
• Class-based versus object-based: a denotational comparison
• Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
• A formal algorithmic language FALGOL. Thirty years after
• Elementary data structures in ALGOL-like languages
• An algebraic theory of actors and its application to a simple object-based language

Describes a project that uses

Uses Software

• PolyTOIL
• Smalltalk

This page was built for publication: Objects and classes in Algol-like languages

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