Campus de Montegancedo, Boadilla del Monte,

Title: Campus de Montegancedo, Boadilla del Monte,

Authors:

Main Research Question: How can the SLAM system improve the debugging process of programs?

Methodology: The SLAM system is a specification language that integrates algebraic specifications and model-based specifications using an object-oriented model. It allows users to define class operations with logical pre and postconditions, giving it a functional flavor. The paper focuses on the debugging subsystem of the SLAM system.

Results: The SLAM system generates readable code in a high-level object-oriented language. This code includes assertions that can be automatically checked during the debugging execution of programs. The assertions are complex logical formulae, which are translated into a Prolog program that is linked with the user program. This allows for interactive checking of properties during program execution.

Implications: The SLAM system's debugging subsystem can significantly improve the process of debugging programs. It allows for more effective and efficient debugging by providing a high-level, object-oriented specification language with logical pre and postconditions. Additionally, the automatic generation of code with embedded assertions facilitates the checking of properties during program execution, further enhancing the debugging process.

Link to Article: https://arxiv.org/abs/0101009v1 Authors: arXiv ID: 0101009v1