A Mechanized Model of the Theory of Objects
From MaRDI portal
Publication:5428912
DOI10.1007/978-3-540-72952-5_12zbMath1202.68097MaRDI QIDQ5428912
Ludovic Henrio, Florian Kammüller
Publication date: 28 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72952-5_12
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
Related Items
ASP\(_{\text{fun}}\) : a typed functional active object calculus, Turning Inductive into Equational Specifications
Uses Software
Cites Work
- The lambda calculus. Its syntax and semantics. Rev. ed.
- A type-theoretic interpretation of pointcuts and advice
- A concurrent lambda calculus with futures
- More Church-Rosser proofs (in Isabelle/HOL)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
- Asynchronous and deterministic objects
- Automated Deduction – CADE-20
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item