Functional-logic graph parser combinators

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

Volumn 5117 LNCS, Issue , 2008, Pages 261-275

  Mazanek, Steffen ^a   Minas, Mark ^a  

^a BUNDESWEHR UNIVERSITY MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; ERROR ANALYSIS; GRAPH THEORY; LINGUISTICS; LOGIC PROGRAMMING;

BUILDING BLOCKS; COMBINATORS; DIRECT MAPPING; FUNCTIONAL-LOGIC LANGUAGES; HIGHER-ORDER FUNCTIONS; HYPEREDGE REPLACEMENT; INCOMPLETE INFORMATION; INTERNATIONAL CONFERENCES; LOGICAL VARIABLES; NON-DETERMINISM; STRING LANGUAGES;

FUNCTIONAL PROGRAMMING;

EID: 48949107142     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70590-1_18     Document Type: Conference Paper

References (21)

1. Hutton, G.: Higher-order functions for parsing. Journal of Functional Programming 2(3), 323-343 (1992)
2. Fokker, J.: Functional parsers. In: Advanced Functional Programming, First Intl. Spring School on Advanced Functional Programming Techniques-Tutorial Text, London, UK, pp. 1-23. Springer, Heidelberg (1995)
3. Mazanek, S., Minas, M.: Graph parser combinators. In: Proc. of 19th Intl. Symp. on the Impl. and Appl. of Functional Languages. Springer, Heidelberg (2008)
4. Mazanek, S., Minas, M.: Parsing of hyperedge replacement grammars with graph parser combinators. In: Proc. of 7th Intl. Workshop on Graph Transf. and Visual Modeling Techniques. Electronic Communications of the EASST (to appear, 2008)
5. Minas, M.: Concepts and realization of a diagram editor generator based on hypergraph transformation. Science of Computer Programming 44(2), 157-180 (2002)
6. Drewes, F., Habel, A., Kreowski, H.J.: Hyperedge replacement graph grammars. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. I, pp. 95-162. World Scientific, Singapore (1997)
7. Tanaka, T.: Definite-clause set grammars: a formalism for problem solving. J. Log. Program. 10(1), 1-17 (1991)
8. Hanus, M.: Multi-paradigm declarative languages. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 45-75. Springer, Heidelberg (2007)
9. Caballero, R., López-Fraguas, F.J.: A functional-logic perspective of parsing. In: Middeldorp, A. (ed.) FLOPS 1999. LNCS, vol. 1722, pp. 85-99. Springer, Heidelberg (1999)
10. Lautemann, C.: The complexity of graph languages generated by hyperedge replacement. Acta Inf. 27(5), 399-421 (1989)
11. Antoy, S., Echahed, R., Hanus, M.: A needed narrowing strategy. J. ACM 47(4), 776-822 (2000)
12. Swierstra, S.D., Azero Alcocer, P.R.: Fast, error correcting parser combinators: a short tutorial. In: Pavelka, J., Tel, G., Bartosek, M. (eds.) SOFSEM 1999. LNCS, vol. 1725, pp. 111-129. Springer, Heidelberg (1999)
13. Antoy, S., Hanus, M.: Functional logic design patterns. In: Proc. of the 6th Intl. Symposium on Functional and Logic Programming. LNCS, vol. 2441, pp. 67-87. Springer, Heidelberg (2002)
14. Hutton, G., Meijer, E.: Monadic parser combinators. Technical Report NOTTCSTR-96-4, Department of Computer Science, University of Nottingham (1996)
15. Seifert, S., Fischer, I.: Parsing string generating hypergraph grammars. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 352-367. Springer, Heidelberg (2004)
16. Habel, A., Kreowski, H.J.: Pretty patterns produced by hyperedge replacement. In: Göttler, H., Schneider, H.-J. (eds.) WG 1987. LNCS, vol. 314, pp. 32-45. Springer, Heidelberg (1988)
17. Taentzer, G., et al.: Generation of sierpinski triangles: A case study for graph transformation tools. In: Proc. of AGTIVE 2007. LNCS. Springer, Heidelberg (2008)
18. Girard, J.Y.: Linear logic. Theoretical Computer Science 50, 1-102 (1987)
19. Bottoni, P., Meyer, B., Marriott, K., Parisi-Presicce, F.: Deductive parsing of visual languages. In: Proc. of the 4th Intl. Conference on Logical Aspects of Computational Linguistics, London, UK, pp. 79-94. Springer, Heidelberg (2001)
20. Hodas, J.S., Miller, D.: Logic programming in a fragment of intuitionistic linear logic. Inf. Comput. 110(2), 327-365 (1994)
21. Costagliola, G., Lucia, A.D., Orefice, S., Tortora, G.: A parsing methodology for the implementation of visual systems. IEEE Trans. Softw. Eng. 23(12), 777-799 (1997)