Semantic Predicate Types and Approximation for Class-based Object Oriented Programming
| Citations: | 2 - 2 self |
BibTeX
@MISC{Bakel_semanticpredicate,
author = {Steffen Van Bakel and Reuben N. S. Rowe},
title = {Semantic Predicate Types and Approximation for Class-based Object Oriented Programming},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We define a small functional calculus that expresses class-based object oriented features and is modelled on the similar calculi of Featherweight Java [34] and Middleweight Java [15], which are ultimately based upon the Java programming language. We define a predicate system, similar to the one defined in [10], and show subject reduction and expansion, and argue that program analysis systems can be built on top of this system. Generalising the concept of approximant from the Lambda Calculus, we show that all expressions that we can assign a predicate to have an approximant that satisfies the same predicate. From this, a characterisation of (head-)normalisation follows. 1
