Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming
From MaRDI portal
Publication:3007669
DOI10.1007/978-3-642-21691-6_19zbMath1331.68046MaRDI QIDQ3007669
Steffen van Bakel, Reuben N. S. Rowe
Publication date: 17 June 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21691-6_19
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N18: Functional programming and lambda calculus
Related Items
Functional Type Assignment for Featherweight Java, Semantic types and approximation for Featherweight Java
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cut-elimination in the strict intersection type assignment system is strongly normalizing
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)
- The lambda calculus. Its syntax and semantics. Rev. ed.
- A semantics of multiple inheritance
- An extension of basic functionality theory for \(\lambda\)-calculus
- Intersection type assignment systems
- Normalization results for typeable rewrite systems
- Normalization, approximation, and semantics for combinator systems
- The origins of structural operational semantics
- Logical equivalence for subtyping object and recursive types
- A filter lambda model and the completeness of type assignment
- Operations on records
- Functional Characters of Solvable Terms
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- Modular control-flow analysis with rank 2 intersection types
- Intensional interpretations of functionals of finite type I
