Ángel Herranz. Interpretación abstracta de lenguajes lógico funcionales. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo s/n, 28660 - Boadilla del Monte (Madrid), Spain, October 1993. In Spanish. [ bib | .ps.gz ]
The aim of this work is to formulate a framework for the abstract interpretation of functional logic languages based on its operational semantics that allows for the most usual analyses needed in declarative programming: mode inference, optimal garbage collection, detection of parallel computations etc. Besides, it should allow for analyses of particular features of a lazy language.

Julio Mariño, Ángel Herranz, and Juan José Moreno-Navarro. Demandedness analysis with dependence information for lazy narrowing. In W. Winsborough and S. Michaylov, editors, Workshop on Global Compilation, International Logic Programming Symposium October 26-30, 1993, Vancouver, BC, Canada, pages 99--114. Association for Logic Programming and Simon Fraser University, October 1993. Penn State University Technical Report. [ bib ]
Julio Mariño and Ángel Herranz. Specialized compilation of lazy functional logic programs. In Segundo Congreso Nacional de Programación Declarativa -- 2nd Spanish Conference on Declarative Programming (ProDe'93), pages 39--55. Instituto de Investigación en Inteligencia Artificial, CSIC, 1993. [ bib ]
Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño, Stephan Winkler, and Werner Hans. Efficient lazy narrowing using demandedness analysis. In 5th International Symposium on Programming Language Implementation and Logic Programming, PLILP'93, volume 714 of LNCS, pages 167--183. Springer, 1993. [ bib ]

This file was generated by bibtex2html 1.98.