Rafael Caballero Roldán, Francisco J. López Fraguas  Home/Search
Context
Related
| mozart.sip.ucm.es/pape...trparser.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ps.unisb.de/ccl/publicati...1998 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Parsing has been a traditional workbench for showing the virtues of declarative programming. Both logic and functional programming claim the ability of writing parsers in a natural and concise way. We address here the task from a functional-logic perspective. By modelling parsers as non-deterministic functions we achieve a very natural manner of building parsers, which combines the nicest properties of the functional and logic approaches. In particular, we are able to easily define within our... (Update)
Active bibliography (related documents): More All
1.0: Declarative Programming with Real Constraints - Hortalá-González.. (1997) (Correct)
0.5: HiLog: A Foundation for Higher-Order Logic Programming - Chen, Kifer, Warren (1989) (Correct)
0.5: The procedure to construct a word predictor in a speech.. - Niimi, Uzuhara.. (Correct)
Similar documents based on text: More All
0.4: Improving Deterministic Computations in Lazy Functional.. - Caballero, Lopez-Fraguas (Correct)
0.4: A Logical Framework for the Algorithmic Debugging.. - Caballero.. (2000) (Correct)
0.1: Towards a Mathematical Specification of a.. - Börger.. (1994) (Correct)
BibTeX entry: (Update)
@misc{ aacute-functionallogic,
author = "Rafael Caballero Roldán and Francisco J. López Fraguas",
title = "Functional-Logic Parsers In TOY",
url = "citeseer.ist.psu.edu/148043.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
134 ACM Transactions on Programming Languages and Systems (context) - Jaffar, Michaylov et al. - 1992
124 Monads for functional programming - Wadler - 1995 ACM DBLP
78 A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, L'opez-Fraguas et al. - 1993 ACM DBLP
69 Higher-order extensions to Prolog: are they needed (context) - Warren - 1982
66 Definitional Trees - Antoy - 1992 ACM DBLP
65 Higher-Order Functions for Parsing - Hutton - 1992 DBLP
37 Software Practice and Experience (context) - Warren, Compiler - 1980
28 Functional Parsers - Fokker - 1995 ACM DBLP
24 the Completeness of Narrowing as the Operational Semantics o.. (context) - Gonz'alez-Moreno, Hortal'a-Gonz'alez et al. - 1993
19 Building Visual Languages Parsers (context) - Helm, Marriot et al. - 1991
17 Non-determinism in Algebraic Specifications and Algebraic Pr.. (context) - Hussmann - 1993
16 Purely Functional Language (context) - the, Haskell et al. - 1997
14 Ten Years of Logic Programming (context) - Hanus, of et al. - 1994
14 Combining Lazy Narrowing with Disequality Constraints (context) - Arenas-S'anchez, Gil-Luezas et al. - 1994
14 A Rewriting Logic for Declarative Programming (context) - Gonz'alez-Moreno, Hortal'a-Gonz'alez et al. - 1996 ACM DBLP
13 Springer-Verlag (context) - Abramson, Dahl et al. - 1989
9 A Correctness Proof for Warren's HO into FO Translation (context) - Gonz'alez-Moreno - 1993
6 on Lisp and Functional Programming (context) - Wadler, Monads et al. - 1990
5 A Higher Order Rewriting Logic for Functional Logic Programm.. (context) - Gonz'alez-Moreno, Hortal'a-Gonz'alez et al. - 1997 DBLP
4 Parsing and Compiling using Prolog (context) - Cohen, Hickey - 1987 ACM DBLP
3 Shapiro: The Art of Prolog (context) - Sterling - 1986
3 A Semantic Framework for Functional Logic Programming with A.. (context) - Arenas-S'anchez, Rodr'iguez-Artalejo - 1997 ACM DBLP
3 Functional Logic programming with Real Numbers (context) - Arenas-S'anchez, Hortal'a-Gonz'alez et al. - 1996
2 Metarules and an Approach to Conjunction in Definite Clause .. (context) - Abramson - 1988
2 Warren: Definite Clause Grammars for Language Analysis (context) - Pereira - 1980
1 Springer LNCS (context) - Wadler, Replace et al. - 1985
1 allero-Rold'an, F.J. L'opez Fraguas and J (context) - Cab - 1997
1 Extended version: TechRep NOTTCS-TR (context) - Hutton, Meijer et al. - 1996
Documents on the same site (http://www.ps.uni-sb.de/ccl/publications/1998.html): More
Dominance Constraints: Algorithms and Complexity - Koller, Niehren, Treinen (1998) (Correct)
Confluence of Extensional and Non-Extensional λ-calculi.. - Kesner (Correct)
Reducing AC-Termination to Termination - Ferreira, Kesner, Puel (1997) (Correct)
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