@comment{{Al final apareciĆ³ en 2018}}
@comment{{2015}}
@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.