M.H. Srensen. A new means of ensuring termination of deforestation with an application to logic programming. In Global Compilation Workshop, 1993. Proceedings appeared as Penn State Technical Report. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Constraint-based Partial Evaluator for Functional Logic.. - Lafave (1998) (6 citations) (Correct)
....blazing and higher order macros [Wad90] Since then, a number of static analyses to annotate unsafe expressions in first order functional programs have been developed by 2. 1 Program Specialisation by Partial Evaluation 14 Chin [Chi90, Chi91, Chi94] Hamilton [Ham93, HJ91, Ham91] Srensen [Sr94, Sr93] and Seidl [Sei96] Approaches to higher order deforestation problem include extending the rules of Wadler s deforestation [MW92, Mar96, Ham96] and adding a higher order removal transformation [Chi92] Deforestation provides no information propagation. The rule for evaluating a case statement ....
M.H. Srensen. A new means of ensuring termination of deforestation with an application to logic programming. In Global Compilation Workshop, 1993. Proceedings appeared as Penn State Technical Report.
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
No context found.
M.H. Srensen. A new means of ensuring termination of deforestation with an application to logic programming. In Global Compilation Workshop, 1993. Proceedings appeared as Penn State Technical Report.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC