Towards a Calculus of Object Programs

Details Towards a Calculus of Object Programs Towards a Calculus of Object Programs

2011-07-11

arxiv.org/abs/1107.1999v2

Computer Science

Software Engineering

Scientific paper

Verifying properties of object-oriented software requires a method for handling references in a simple and intuitive way, closely related to how O-O programmers reason about their programs. The method presented here, a Calculus of Object Programs, combines four components: compositional logic, a framework for describing program semantics and proving program properties; negative variables to address the specifics of O-O programming, in particular qualified calls; the alias calculus, which determines whether reference expressions can ever have the same value; and the calculus of object structures, a specification technique for the structures that arise during the execution of an object-oriented program. The article illustrates the Calculus by proving the standard algorithm for reversing a linked list.

Affiliated with

Also associated with

No associations

Rating

Towards a Calculus of Object Programs 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 Towards a Calculus of Object Programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards a Calculus of Object Programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-137659