@inproceedings{hemamo:2000:pp,
author = {{Ángel} Herranz and Juan José {Moreno-Navarro} and Julio Mariño},
title = {Demand Analysis with Partial Predicates},
booktitle = {9th International Workshop on Functional and Logic
Programming (WFLP 2000)},
year = {2000},
month = sep,
organization = {Universidad Politécnica de Valencia},
address = {Benicassim, Spain}
}
@mastersthesis{pni:tfc00,
tipoactividad = {Otras publicaciones},
internacional = {no},
author = {Pablo Nogueira},
title = {El Lenguaje {C}$--$: {M}anual de Referencia, Tutorial y
Semántica Formal},
school = {Facultad de Informática, Universidad Politécnica de Madrid},
address = {Campus de Montegancedo s/n, 28660, Boadilla del Monte,
Madrid, Spain},
year = 2000,
month = {November},
note = {In Spanish},
pdf = {http://babel.ls.fi.upm.es/~pablo/Papers/tfc.ps}
}
@inproceedings{hemo:2000:tairppss,
author = {{Ángel} Herranz and Juan José {Moreno-Navarro}},
title = {Towards Automating the Iterative Rapid Prototyping Process
with the {SLAM} System},
booktitle = {V Spanish Conference on Software Engineering},
pages = {217-228},
year = {2000},
month = nov,
abstract = {This paper shows the outlines of the Slam project, designed
for automating the Iterative Rapid Prototyping Process. The
Slam project system includes a very expressive object
oriented specification language that integrates
\emph{algebraic specifications} and \emph{model-based
specifications}. Class operations are defined by using rules
each of them with logical pre- and post-conditions but with
a functional flavour. The main novel feature of the system
is that contains a development environment that, among other
features, is able to generate (reasonable) efficient and
readable code in another high level object oriented language
(C++, Java, etc.). 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. Slam can be used to generate prototypes that can
be used to validate the requirements with the user. The
additional advantage is that the prototype is not throw-away
because most part of the generated code can be used at it is
and the other part can be optimized with the additional help
of the declarative debugging of the modified code.},
postscript = {http://babel.ls.fi.upm.es/~angel/papers/slam-jis.ps.gz}
}
@inproceedings{hemo:2000:rflldip,
author = {{Ángel} Herranz and Juan José {Moreno-Navarro}},
title = {On the Role of Functional-logic Languages for the Debugging
of Imperative Programs},
booktitle = {9th International Workshop on Functional and Logic
Programming (WFLP 2000)},
year = {2000},
month = sep,
organization = {Universidad Politécnica de Valencia},
address = {Benicassim, Spain},
abstract = {The paper presents some aspects of the debugging subsystem
of the ongoing project Slam where the language Curry plays a
significant role. The Slam project is an attempt to
amalgamate most of the best facilities of declarative
languages to the development of imperative programs. The
Slam system is composed by i) an object oriented
specification language. (Functional style) Rules are used
to define class operations each of them with logical pre and
post-conditions. ii) A development environment that, among
other features, is able to generate readable code in a high
level object oriented (imperative) 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
concentrate on the latter aspect. Many useful properties can
be expressed in the Slam language and these properties are
translated into a Curry program that is linked (via an
adequate interface) with the generated program. The Curry
execution is responsible for checking properties,
interacting with the debugging execution of the program.},
postscript = {http://babel.ls.fi.upm.es/~angel/papers/slam-curry.ps.gz}
}
@inproceedings{hemo:2000:gdlppc,
author = {{Ángel} Herranz and Juan José {Moreno-Navarro}},
title = {Generation of and Debugging with Logical Pre and Post
Conditions},
booktitle = {Automated and Algorithmic Debugging 2000},
year = {2000},
month = aug,
editor = {M. Ducasse},
organization = {TU Munich},
abstract = {This paper shows the debugging facilities provided by the
SLAM system. The SLAM system includes i) a specification
language that integrates \emph{algebraic specifications} and
\emph{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. },
postscript = {http://babel.ls.fi.upm.es/~angel/papers/slam-debug.ps.gz}
}
@inproceedings{SusanaPADL2000,
author = {Susana {Muñoz-Hernández} and Juan Jos{\'e} {Moreno-Navarro}},
title = {How to Incorporate Negation in a {P}rolog Compiler},
booktitle = {2nd International Workshop PADL'2000},
editor = {E. Pontelli, V. Santos Costa},
volume = 1753,
series = {LNCS},
year = 2000,
publisher = {Springer},
address = {Boston, MA (USA)},
pages = {124--140}
}
@inproceedings{SusanaPRODE00,
author = {Susana {Muñoz-Hernández} and Juan Jos{\'e} {Moreno-Navarro} and M. Hermenegildo},
title = {Efficient Implementation of General Negation Using Abstract
Interpretation},
booktitle = {Joint Conference on Declarative Programming},
year = {2000},
optorganization = {APPIA, GULP, PRODE (AGP'00)},
address = {La Habana (Cuba)},
postscript = {/papers/prode00.ps.gz}
}
@inproceedings{padl00,
author = {Julio Mariño and Juan José {Moreno-Navarro}},
title = {Using Static Analysis to Compile non-Sequential Functional
Logic Programs},
booktitle = {Practical Aspects of Declarative Programming (PADL 2000)},
pages = {63--80},
year = {2000},
editor = {Enrico Pontelli and Vítor {Santos Costa}},
volume = 1753,
series = {LNCS},
month = {January},
publisher = {Springer},
annote = {This article shows the application of strictness analysis to
the generation of sequential definitional trees from non
weakly sequential Curry definitions. }
}
@inproceedings{marinno:moreno:2000:wflp,
author = {Julio Mariño and Juan José {Moreno-Navarro}},
title = {Partial Predicates for Demand Analysis},
booktitle = {8th. Workshop on Functional and Logic Programming, WFLP2000},
pages = {324--339},
year = 2000,
editor = {María Alpuente},
month = sep,
publisher = {Universidad Politécnica de Valencia}
}
This file was generated by bibtex2html 1.95.