Semantic Predicate Types and Approximation for Class-based Object Oriented Programming

Details Semantic Predicate Types and Approximation for Class-based Object Oriented Programming Semantic Predicate Types and Approximation for Class-based Object Oriented Programming

2011-09-21

arxiv.org/abs/1109.4618v1

Computer Science

Logic in Computer Science

Proceedings of 11th Workshop on Formal Techniques for Java-like Programs (FTfJP'09), Genova, Italy, July 6 2009

Scientific paper

We apply the principles of the intersection type discipline to the study of class-based object oriented programs and; our work follows from a similar approach (in the context of Abadi and Cardelli's Varsigma-object calculus) taken by van Bakel and de'Liguoro. We define an extension of Featherweight Java, FJc and present a predicate system which we show to be sound and expressive. We also show that our system provides a semantic underpinning for the object oriented paradigm by generalising the concept of approximant from the Lambda Calculus and demonstrating an approximation result: all expressions to which we can assign a predicate have an approximant that satisfies the same predicate. Crucial to this result is the notion of predicate language, which associates a family of predicates with a class.

Affiliated with

Also associated with

No associations

Rating

Semantic Predicate Types and Approximation for Class-based Object Oriented Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Semantic Predicate Types and Approximation for Class-based Object Oriented Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Semantic Predicate Types and Approximation for Class-based Object Oriented Programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-258173