See this document in CiteSeerX!

Generation of and Debugging with Logical Pre and Post_Conditions (2000)  (Make Corrections)  
Ángel Herranz-Nieva, Juan José Moreno-Navarro
Automated and Algorithmic Debugging



  Home/Search   Context   Related

 
View or download:
wwwbruegge.in.tum.de/p...28moreno.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  wwwbruegge.in.tum.d...Proceedings (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
How to generate debugging information from formal specifications

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 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... (Update)

Similar documents based on text:   More   All
1.9:   On the Role of Functional-logic Languages for the.. - Herranz-Nieva.. (2000)   (Correct)
0.5:   Simultaneous Localization and Mapping with Detection and.. - Wang, Thorpe (2002)   (Correct)
0.4:   Simultaneous Mapping and Localization With Sparse Extended.. - Thrun (2002)   (Correct)

BibTeX entry:   (Update)

@inproceedings{ herranznieva00generation,
    author = "Angel Herranz-Nieva and Juan Jose Moreno-Navarro",
    title = "Generation of and Debugging with Logical Pre and Post-Conditions",
    booktitle = "Automated and Algorithmic Debugging",
    year = "2000",
    url = "citeseer.ist.psu.edu/herranz-nieva00generation.html" }
Citations (may not include all citations):
689   Systematic Software Development Using VDM - Jones - 1986
328   Algorithmic Program Debugging (context) - Shapiro - 1982
238   Pizza into Java: Translating theory into practice - Odersky, Wadler - 1997
89   A gentle introduction to haskell - Hudak, Fasel et al. - 1996
74   and Jean-Pierre Jouannaud (context) - Goguen, Winkler et al. - 1993
63   Software Development with Z (context) - Wordsworth - 1992
55   Software reliability via run-time result-checking - Blum, Wasserman - 1997
27   The Ciao Multi-Dialect Compiler and System: An Experimentati.. - Hermenegildo, Bueno et al. - 1999
26   A non-strict Purely Functional Language (context) - Jones, Hughes et al. - 1999
23   Debugging and Optimization Using the Ciao System Preprocesso.. (context) - Hermenegildo, Bueno et al. - 1999
11   A Framework for Assertion-based Debugging in Constraint Logi.. - Puebla, Bueno et al. - 1998
5   A tutorial on Larch and LCL (context) - Guttag, Horning - 1991
4   Technical Report PRG-TR (context) - Rapanotti, Socorro - 1992
4   The Programming Language C (context) - Stroustrup - 1990
3   Programming with Specications: An Introduction to Anna (context) - Luckham - 1990

[Article contains additional citations not shown here]

Documents on the same site (http://wwwbruegge.in.tum.de/projects/AADEBUG/Proceedings.html):   More
Extension Language Automation of Embedded System Debugging - Parson, Schlieder, Beatty   (Correct)
In Search of Yeti: Footprint Analysis with Wildebeest - Srikanth   (Correct)
Apache Web Server Execution Tracing Using Third Eye - Lencevicius, Ran, Yairi   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC