Generation of and Debugging with Logical Pre and Postconditions

Details Generation of and Debugging with Logical Pre and Postconditions Generation of and Debugging with Logical Pre and Postconditions

2001-01-12

arxiv.org/abs/cs/0101009v1

Computer Science

Programming Languages

In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munic

Scientific paper

This paper shows the debugging facilities provided by the SLAM system. The SLAM system includes i) a specification language that integrates algebraic specifications and model-based specifications using the object oriented model. Class operations are defined by using rules each of them with logical pre and postconditions but with a functional flavour. ii) A development environment that, among other features, is able to generate readable code in a high level object oriented language. iii) The generated code includes (part of) the pre and postconditions as assertions, that can be automatically checked in the debug mode execution of programs. We focus on this last aspect. The SLAM language is expressive enough to describe many useful properties and these properties are translated into a Prolog program that is linked (via an adequate interface) with the user program. The debugging execution of the program interacts with the Prolog engine which is responsible for checking properties.

Affiliated with

Also associated with

No associations

Rating

Generation of and Debugging with Logical Pre and Postconditions 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 Generation of and Debugging with Logical Pre and Postconditions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generation of and Debugging with Logical Pre and Postconditions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-629429