Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

article · arXiv (Cornell University) · 2000

Generation of and Debugging with Logical Pre and Post-Conditions.

Ángel Herranz, Juan José Moreno-Navarro

Cited by 6Open access

Abstract

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 post-conditions 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 post-conditions 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 propert...

Cite this paper

APA 7

Herranz, Á., & Moreno-Navarro, J. J. (2000). Generation of and Debugging with Logical Pre and Post-Conditions. arXiv (Cornell University).

MLA 9

Herranz, Ángel, and Juan José Moreno-Navarro. “Generation of and Debugging with Logical Pre and Post-Conditions.” arXiv (Cornell University), 2000.

Chicago

Herranz, Ángel, and Juan José Moreno-Navarro. 2000. “Generation of and Debugging with Logical Pre and Post-Conditions.” arXiv (Cornell University).

Harvard

Herranz, Á. and Moreno-Navarro, J.J. (2000) ‘Generation of and Debugging with Logical Pre and Post-Conditions’, arXiv (Cornell University).

BibTeX
@article{herranz2000generation,
  title = {{Generation of and Debugging with Logical Pre and Post-Conditions.}},
  author = {Herranz, Ángel and Moreno-Navarro, Juan José},
  journal = {arXiv (Cornell University)},
  year = {2000}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers