@comment{{Al final apareciĆ³ en 2018}}
@comment{{2015}}
@inproceedings{hemamo:2000:pp, author = {{{\'{A}}ngel} Herranz and Juan Jos{\'{e}} {Moreno-Navarro} and Julio Mari{\~{n}}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{\'{e}}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{\'{a}}ntica Formal}, school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}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 = {{{\'{A}}ngel} Herranz and Juan Jos{\'{e}} {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 = {{{\'{A}}ngel} Herranz and Juan Jos{\'{e}} {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{\'{e}}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 = {{{\'{A}}ngel} Herranz and Juan Jos{\'{e}} {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 = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Moreno-Navarro, Juan Jos{\'e}}, 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 = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Moreno-Navarro, Juan Jos{\'e} 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{\~{n}}o and Juan Jos{\'{e}} {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{\'{i}}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{\~{n}}o and Juan Jos{\'{e}} {Moreno-Navarro}}, title = {Partial Predicates for Demand Analysis}, booktitle = {8th. Workshop on Functional and Logic Programming, WFLP2000}, pages = {324--339}, year = 2000, editor = {Mar{\'{i}}a Alpuente}, month = sep, publisher = {Universidad Polit{\'{e}}cnica de Valencia} }
This file was generated by bibtex2html 1.98.