Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)

DOI10.1007/978-3-642-21691-6_19MaRDI QIDQ3007669zbMATH OpenOpenAlexFDO

Authors Reuben N. S. Rowe, Steffen Van Bakel

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

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

Recommendations

• Semantic types and approximation for Featherweight Java
• scientific article; zbMATH DE number 1487496
• Normalization, approximation, and semantics for combinator systems
• Semantics and logic of object calculi
• scientific article; zbMATH DE number 1330431

Cites work

• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 1301731 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 720178 (Why is no real title available?)
• scientific article; zbMATH DE number 1953279 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• A filter lambda model and the completeness of type assignment
• A semantics of multiple inheritance
• An extension of basic functionality theory for -calculus
• Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)
• Cut-elimination in the strict intersection type assignment system is strongly normalizing
• Functional Characters of Solvable Terms
• Intensional interpretations of functionals of finite type I
• Intersection type assignment systems
• Logical equivalence for subtyping object and recursive types
• Modular control-flow analysis with rank 2 intersection types
• Normalization results for typeable rewrite systems
• Normalization, approximation, and semantics for combinator systems
• Operations on records
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The origins of structural operational semantics

Cited in

(5)

• A semantics for complex objects and approximate answers
• Functional type assignment for Featherweight Java. To Rinus Plasmeijer, in honour of his 61st birthday
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 1140620 (Why is no real title available?)
• Semantic types and approximation for Featherweight Java

Describes a project that uses

Uses Software

• Featherweight Java

This page was built for publication: Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)

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