Implementing Dynamic-Cut in TOY

Electronic Notes in Theoretical Computer Science

Volumn 177, Issue 1, 2007, Pages 153-168

  Caballero, R ^a   Garcia Ruiz Y ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

determinism; functional logic Programming; program analysis; programming language implementation

Indexed keywords

COMPUTATIONAL METHODS; FUNCTIONAL ANALYSIS; OPTIMIZATION; PROGRAM COMPILERS; SEMANTICS;

FUNCTIONAL-LOGIC PROGRAMMING; PROGRAM ANALYSIS; PROGRAMMING LANGUAGE IMPLEMENTATION;

LOGIC PROGRAMMING;

EID: 34248641662     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.01.009     Document Type: Article

References (13)

1. Antoy S. Definitional trees. Int. Conf. on Algebraic Logic Programming. (ALP'92). LNCS number 632 (1992) 143-157
2. Antoy S., Echahed R., and Hanus M. A needed narrowing strategy. Journal of the ACM 47 (2000) 776-822
3. Caballero R., and López-Fraguas F. Dynamic-cut with definitional trees. Proceedings of the 6th International Symposium on Functional and Logic Programming. FLOPS 2002. LNCS number 2441 (2002) 245-258
4. Caballero R., and López-Fraguas F. Improving deterministic computations in lazy functional logic languages. Journal of Functional and Logic Programming 2003 (2003)
5. González-Moreno J., Hortalá-González M., López-Fraguas F., and Rodríguez-Artalejo M. An approach to declarative programming based on a rewriting logic. The Journal of Logic Programming 40 (1999) 47-87
6. Hanus M. Curry: An Integrated Functional Logic Language (version 0.8.2. march 28, 2006). Available at: (2006). http://www.informatik.uni-kiel.de/curry/papers/report.pdf
7. Henderson F., Somogyi Z., and Conway T. Determinism analysis in the mercury compiler. URL (1996). citeseer.ist.psu.edu/henderson96determinism.html
8. Loogen R., López-Fraguas F., and Rodríguez-Artalejo M. A demand driven computation strategy for lazy narrowing. Int. Symp. on Programming Language Implementation and Logic Programming. (PLILP'93). LNCS number 714 (1993) 184-200
9. Loogen R., López-Fraguas F., and Rodríguez-Artalejo M. Toy: a multiparadigm declarative system. Int. Symp. RTA'99. LNCS number 1631 (1999) 244-247
10. Loogen R., and Winkler S. Dynamic detection of determinism in functional-logic languages. Int. Symp. on Programming Language Implementation and Logic Programming. (PLILP'91). LNCS number 528 (1991) 335-346
11. Loogen R., and Winkler S. Dynamic detection of determinism in functional logic languages. In: Maluszynski J., and Wirsing M. (Eds). Programming Language Implementation and Logic Programming: Proc. of the 3rd International Symposium PLILP'91, Passau (1991), Springer, Berlin, Heidelberg 335-346
12. Peña R., and Segura C. Non-determinism analyses in a parallel-functional language. Journal of Logic Programming 2004 (2005) 67-100
13. Sawamura, H. and T. Takeshima, Recursive Unsolvability of Determinacy, Solvable Cases of Determinacy and Their Applications to Prolog Optimization, in: Proceedings of the Symposium on Logic Programming, 1985, pp. 200-207