A Transformation System for Lazy Functional Logic Programs-Reference-Cited by-同舟云学术

A Transformation System for Lazy Functional Logic Programs

Published:1999 Issue: Volume: Page:147-162
ISSN:0302-9743
Container-title:Functional and Logic Programming
language:
Short-container-title:

Author:

Alpuente María,Falaschi Moreno,Moreno Ginés,Vidal Germán

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10705424_10

Reference30 articles.

1. Alpuente, M., Falaschi, M., Ferri, C., Moreno, G., Vidal, G., Ziliotto, I.: The Transformation System SYNTH. Technical report DSIC-II/16/99, DSIC (1999), Available from http://www.dsic.upv.es/users/elp/papers.html

2. Lecture Notes in Computer Science;M. Alpuente,1997

3. Alpuente, M., Falaschi, M., Moreno, G., Vidal, G.: A Transformation System for Lazy Functional Logic Programs. Technical report, DSIC, UPV (1999), Available from http://www.dsic.upv.es/users/elp/papers.html

4. Lecture Notes in Computer Science;S. Antoy,1992

5. Antoy, S., Echahed, R., Hanus, M.: A Needed Narrowing Strategy. In: Proc. 21st ACM Symp. on Principles of Programming Languages, pp. 268–279 (1994)

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Assertion Language for Slicing Constraint Logic Languages;Logic-Based Program Synthesis and Transformation;2019

2. The Transformational Approach to Program Development;Lecture Notes in Computer Science;2010

3. An Embedded Language Approach to Router Specification in Curry;SOFSEM 2004: Theory and Practice of Computer Science;2004

4. A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations;Electronic Notes in Theoretical Computer Science;2003-11

5. Abstract Correction of First-Order Functional Programs;Electronic Notes in Theoretical Computer Science;2003-11