Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming

DOI10.1007/978-3-642-21691-6_19zbMath1331.68046OpenAlexW1241964149MaRDI 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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)

Related Items (2)

Semantic types and approximation for Featherweight Java ⋮ Functional Type Assignment for Featherweight Java

Uses Software

• Featherweight Java

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming