@inproceedings{jimamo:1992:eclnp,
  author = {J. A. Jim{\'{e}}nez and J. Mari{\~{n}}o and Moreno-Navarro, Juan Jos{\'e}},
  title = {Efficient Compilation of Lazy Narrowing into PROLOG},
  booktitle = {Workshop on Logic on Program Synthesis and Transformation -
                  LOPSTR'92, Manchester (UK)},
  organization = {University of Manchester},
  month = aug,
  year = {1992},
  editor = {T. Clement and Kung-Kiu Lau},
  publisher = {Workshops in Computer Science, Springer Verlag, January
                  1993.},
  pages = { 14},
  postscript = {/papers/babel2prolog.ps.gz},
  keywords = {implementation of functional logic languages, compilation of
                  functional logic languages into prolog},
  abstract = {The paper presents new techniques for the transformation of
                  lazy narrowing in logic programs. A formalism, called demand
                  patterns, is introduced, and used to define a demand driven
                  strategy to compute lazy narrowing. The strategy is used to
                  produce standard PROLOG code from programs written in a
                  functional-logic language. Our method has a number of
                  advantages over other approaches. While it can compute a
                  larger class of program, it needs less reevaluation effort,
                  and fully uses efficient elements of PROLOG compilers. The
                  gain of efficiency is shown by presenting the execution
                  times of some example programs.}
}
@inproceedings{kulomoro:1992:iflldc,
  author = {H. Kuchen and F. L{\'{o}}pez-Fraguas and Moreno-Navarro, Juan Jos{\'e}
                  and M. {Rodr{\'{i}}guez-Artalejo}},
  title = {Implementing a Lazy Functional Logic Language with
                  Disequality Constraints.},
  booktitle = {Joint International Confeence and Symposium on Logic
                  Programming - JICSLP'92, Washington (USA)},
  organization = {Association for Logic Programming and University of
                  Maryland},
  month = nov,
  year = {1992},
  editor = {K. Apt},
  publisher = {The MIT Press},
  pages = { 207-221},
  postscript = {/papers/cbam.ps.gz},
  keywords = {implementation of functional logic languages, lazy
                  narrowing},
  abstract = {In this paper, we investigate the implementation of a lazy
                  functional logic language (in particular the language BABEL)
                  which uses disequality constraints for solving equations and
                  building answers. We specify a new operational semantics
                  which combines lazy narrowing with disequality constraints
                  and we define an abstract machine tailored to the execution
                  of BABEL programs according to this semantics. The machine
                  is designed as a quite natural extension of a lazy graph
                  narrowing machine. Disjunctions of disequalities are handled
                  using the backtracking mechanism.}
}
@inproceedings{JMM92b,
  author = {Julio Mari{\~{n}}o and Jose Andr{\'{e}}s {Jim{\'{e}}nez Mart{\'{i}}n} and Juan Jos{\'{e}}
                  {Moreno-Navarro}},
  title = {Some Techniques for the Efficient Compilation of Lazy
                  Narrowing into {P}rolog},
  year = {1992},
  pages = {53--68},
  organization = {Universidad Polit{\'{e}}cnica de Madrid},
  booktitle = {Primer Congreso Nacional de Programaci{\'{o}}n Declarativa -- 1st
                  Spanish Conference on Declarative Programming (ProDe'92)}
}
@inproceedings{JMM92,
  author = {Julio Mari{\~{n}}o and Juan Jos{\'{e}} {Moreno-Navarro}},
  title = {Efficient Compilation of Lazy Narrowing into {P}rolog},
  editor = {Tim Clement and {Kung Kiu} Lau},
  series = {Workshops in Computing},
  pages = {253--270},
  booktitle = {Workshop on Logic on Program Synthesis and Transformation -
                  LOPSTR'92, Manchester (UK). ISBN 3-540-19806-7},
  year = {1992},
  organization = {University of Manchester},
  publisher = {Springer Verlag},
  month = aug
}
@mastersthesis{mipfc,
  author = {Julio Mari{\~{n}}o},
  title = {La Implementaci{\'{o}}n del Narrowing Perezoso en Prolog},
  school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de Madrid},
  year = {1992},
  month = jul,
  note = {In Spanish}
}
@inproceedings{pisa92,
  author = {Julio Mari{\~{n}}o and Juan Jos{\'{e}} {Moreno-Navarro}},
  title = {Some Notes on Lazy Evaluation},
  booktitle = {1st Compulog Workshop on Programming Languages, Pisa},
  organization = {University of Pisa},
  month = apr,
  year = {1992}
}

This file was generated by bibtex2html 1.98.