Wrapper semantics of an object-oriented programming language with state

DOI10.1007/3-540-54415-1_64MaRDI QIDQ5096238zbMATH OpenOpenAlexFDO

Authors Andreas Hense

Publication date 16 August 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54415-1_64

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Denotational semantics of an object-oriented programming language with explicit wrappers
• scientific article; zbMATH DE number 1487496
• scientific article; zbMATH DE number 814800
• The equivalence of two semantic definitions for inheritance in object-oriented languages
• scientific article; zbMATH DE number 1304368

Cites work

• scientific article; zbMATH DE number 3909708 (Why is no real title available?)
• scientific article; zbMATH DE number 3951980 (Why is no real title available?)
• scientific article; zbMATH DE number 42888 (Why is no real title available?)
• scientific article; zbMATH DE number 177780 (Why is no real title available?)
• scientific article; zbMATH DE number 3640837 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• Comprehending monads
• Data Types as Lattices
• The lambda calculus, its syntax and semantics

Cited in

(2)

• Denotational semantics of an object-oriented programming language with explicit wrappers
• A record calculus with principal types

This page was built for publication: Wrapper semantics of an object-oriented programming language with state

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