@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.