A functional-logic perspective of parsing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1722, Issue , 1999, Pages 85-99

  Caballero, Rafael ^a   López Fraguas, Francisco J ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING;

DATA VALUES; DECLARATIVE PROGRAMMING; DETERMINISTIC FUNCTIONS;

FUNCTIONAL PROGRAMMING;

EID: 84957624468     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10705424_6     Document Type: Conference Paper

References (20)

1. P. Arenas-Sánchez, T. Hortalá-González, F.J. López-Fraguas, E. Ullán-Hernández. Functional Logic programming with Real Numbers, in M. Chakavrarty, Y. Guo, T. Ida (eds.) Multiparadigm Logic Programming, Post-Conference Workshop of the JICLP’96, TU Berlin Report 96-28, 47–58, 1996.
2. P. Arenas-Sánchez, M. Rodríguez-Artalejo. A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. Procs. of CAAP’97, Springer LNCS 1214, 453–464, 1997.
3. R. Caballero-Roldán, F.J. López Fraguas, J. Sánchez-Hernández. User’s Manual For T OY. Technical Report D.I.A. 57/97, Univ. Complutense de Madrid 1997. The system is available at http://mozart.sip.ucm.es/incoming/toy.html
4. R. Caballero-Roldán, F.J. López-Fraguas. Functional-Logic Parsers in T OY. Technical Report S.I.P. 74/98. Univ. Complutense de Madrid 1998. Available at http://mozart.sip.ucm.es/papers/1998/trparser.ps.gz
5. R. Caballero, F.J. López-Fraguas. Extensions: A Technique for Structuring Functional-Logic Programs. Procs. of PSI’99, Springer LNCS. To appear.
6. J. Fokker. Functional Parsers. In J. Jeuring and E. Meijer editors, Lecture Notes on Advanced Functional Programming Techniques, Springer LNCS 925, 1995.
7. J.C. González-Moreno, T. Hortalá-González, F.J. López-Fraguas, M. Rodríguez-Artalejo. An Approach to Declarative Programming Based on a Rewriting Logic. Journal of Logic Programming, Vol 40(1), July 1999, pp 47–87.
8. J.C. González-Moreno, T. Hortalá-González, M. Rodríguez-Artalejo. A Higher Order Rewriting Logic for Functional Logic Programming. Procs. of ICLP’97, The MIT Press, 153–167, 1997.
9. J.C. González-Moreno. A Correctness Proof for Warren’s HO into FO Translation. Procs. of GULP’93, 569–585, 1993.
10. M. Hanus. The Integration of Functions into Logic Programming: A Survey. J. of Logic Programming 19-20. Special issue “Ten Years of Logic Programming”, 583-628, 1994.
11. M. Hanus (ed.). Curry, an Integrated Functional Logic Language, Draft, 1998.
12. Report on the Programming Language Haskell 98: a Non-strict, Purely Functional Language. Simon Peyton Jones and John Hughes (eds.), February 1999.
13. G. Hutton. Higher-Order Functions for Parsing. J. of Functional Programming 2(3):323-343, July 1992.
14. G. Hutton, E. Meijer. Functional Pearls. Monadic Parsing in Haskell. Journal of Functional Programming 8 (4), 1998, 437-444.
15. R. Leermakers. The Functional Treatment of Parsing. Kluwer Academic Publishers, 1993.
16. R. Loogen, F.J. López-Fraguas, M. Rodríguez-Artalejo. A Demand Driven Computation Strategy for Lazy Narrowing. Procs. of PLILP’93, Springer LNCS 714, 184–200, 1993.
17. F.J. López-Fraguas, J. Sánchez-Hérnandez. TOY: A Multiparadigm Declarative System. Proc. RTA’99, Springer LNCS 1631, 244–247, 1999.
18. E. Meijer, J. Jeuring. Merging Monads and Folds for Functional Programming. Adv. Functional Programming Int. School, Baastad (Sweden). Springer LNCS 925, 228–266, 1995.
19. L. Sterling, E. Shapiro. The Art of Prolog, The MIT Press, 1986.
20. P. Wadler. Monads for functional programming. In J. Jeuring and E. Meijer editors, Lecture Notes on Advanced Functional Programming Techniques, Springer LNCS 925. 1995.