Ángel Herranz-Nieva, Juan José Moreno-Navarro  Home/Search
Context
Related
| lml.ls.fi.upm.es/~jjmor...slamdebug.ps babel.ls.fi.upm.es/p...slamdebug.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: aaron.ls.fi.upm.es/~jj...paper_ab (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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)... (Update)
Similar documents (at the sentence level): More
53.7%: Generation of and Debugging with Logical Pre and.. - Herranz-Nieva.. (2000) (Correct)
35.7%: Towards Automating the Iterative Rapid Prototyping.. - Herranz-Nieva.. (Correct)
25.5%: On the Role of Functional-logic Languages for the.. - Herranz-Nieva.. (2000) (Correct)
Active bibliography (related documents): More All
0.4: Specifying in the large: Object Oriented Specifications in the .. - Herranz-Nieva (2002) (Correct)
0.2: From Modula to Oberon - Wirth (1989) (Correct)
0.2: Declarative Reflection and its Application as a Pattern.. - Herranz, Moreno, Maya (2002) (Correct)
Similar documents based on text: More All
0.5: Results for Outdoor-SLAM Using Sparse Extended Information Filters - Liu, Thrun (2002) (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/article/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
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
14 SRI International (context) - Clavel, Dur'an et al. - 2000
11 A Framework for Assertion-based Debugging in Constraint Logi.. - Puebla, Bueno et al. - 1998
10 Technical report (context) - Goguen, Winkler et al. - 1993
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
2 Advanced Compilation Techniques based on Abstract Interpreta.. (context) - Puebla - 1997
1 Includes a draft of the language definition (context) - site, lml et al.
Documents on the same site (http://aaron.ls.fi.upm.es/~jjmoreno/paper_ab.html): More
Expressivity of Functional-logic Languages and their Implementation - Navarro (1994) (Correct)
Efficient Lazy Narrowing using Demandedness Analysis - Moreno-Navarro, Kuchen.. (Correct)
Tuple Inheritance: A New Kind of Inheritance for.. - Juan Jos'e.. (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