Denotational semantics of an object-oriented programming language with explicit wrappers
From MaRDI portal
Recommendations
- Wrapper semantics of an object-oriented programming language with state
- A denotational semantics for the AspectTalk programming language
- Difunctorial semantics of object calculus
- The equivalence of two semantic definitions for inheritance in object-oriented languages
- A layered semantics for a parallel object-oriented language
Cites work
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 4135383 (Why is no real title available?)
- scientific article; zbMATH DE number 3909708 (Why is no real title available?)
- scientific article; zbMATH DE number 42888 (Why is no real title available?)
- scientific article; zbMATH DE number 44486 (Why is no real title available?)
- scientific article; zbMATH DE number 49427 (Why is no real title available?)
- scientific article; zbMATH DE number 3640837 (Why is no real title available?)
- A lattice-theoretical fixpoint theorem and its applications
- Data Types as Lattices
- Denotational semantics of an object-oriented programming language with explicit wrappers
- The lambda calculus, its syntax and semantics
Cited in
(6)- Denotational semantics of a para-functional programming language
- Denotational semantics of an object-oriented programming language with explicit wrappers
- Expression-Based Aliasing for OO–languages
- Denotational semantics of object specification
- Programming Denotational Semantics II
- Wrapper semantics of an object-oriented programming language with state
This page was built for publication: Denotational semantics of an object-oriented programming language with explicit wrappers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1261310)
