Verification of Object-Oriented Programs: a Transformational Approach

Details Verification of Object-Oriented Programs: a Transformational Approach Verification of Object-Oriented Programs: a Transformational Approach

2010-04-26

arxiv.org/abs/1004.4656v3

Computer Science

Logic in Computer Science

49 pages. To appear in Journal of Computer and System Sciences. Stijn de Gouw is now a new author

Scientific paper

We show that verification of object-oriented programs by means of the assertional method can be achieved in a simple way by exploiting a syntax-directed transformation from object-oriented programs to recursive programs. This transformation suggests natural proofs rules and its correctness helps us to establish soundness and relative completeness of the proposed proof system. One of the difficulties is how to properly deal in the assertion language with the instance variables and aliasing. The discussed programming language supports arrays, instance variables, failures and recursive methods with parameters.

Affiliated with

Also associated with

No associations

Rating

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

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-236326