Prological language processing

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 2, 2001, Pages 132-156

  Lämmel, Ralf ^a   Riedewald, Günter ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE; LAPTOP COMPUTERS; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS; PROGRAM COMPILERS;

LANGUAGE PROCESSORS; LOGIC GRAMMARS; PREPROCESSORS; SOFTWARE MODIFICATION;

PROLOG (PROGRAMMING LANGUAGE);

EID: 18944385317     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80924-1     Document Type: Conference Paper

References (62)

1. H. Abramson. Definite Clause Translation Grammars. In Proc. International Symposium on Logic Programming, pages 233-241, Atlantic City, 1984. IEEE, Computer Society Press.
2. H. Abramson. Towards an Expert System for Compiler Writing. Technical Report TR 87-33, University of British Columbia, Department of Computer Science, 1987.
3. Borovanský P., Kirchner C., Kirchner H., Moreau P.-E., Ringeissen C. An overview of ELAN. Kirchner C., Kirchner H. Proc. International Workshop on Rewriting Logic and its Applications, volume 15 of Electronic Notes in Theoretical Computer Science. September 1998;Elsevier Science, Pont-à-Mousson, France
4. P. Borras, D. Clement, Th. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. Centaur: the system. In Proc. SIGSOFT '88, Boston, USA, 1988.
5. A. Bowers. Effective Meta-programming in Declarative Languages. PhD thesis, Department of Computer Science, University of Bristol, January 1998.
6. Boye J., Maluszynski J. Directional Types and the Annotation Method. Journal of Logic Programming. 33:(3):December 1997;179-220
7. Brogi A., Mancarella P., Pedreschi D., Turini F. Modular Logic Programming. ACM Transactions on Programming Languages and Systems. 16:(3):1994;225-237
8. B.R. Bryant and A. Pan. Rapid Prototyping of Programming Language Semantics Using Prolog. In Proc. IEEE COMPSAC '89, pages 439-446, Orlanto, Florida, 1989.
9. S. Bünnig. Entwicklung einer Sprache zur Unterstützung von Design Patterns und Implementierung eines zugehörigen Compilers. Master's thesis, University of Rostock, Department of Computer Science, July 1999.
10. Cohen J., Hickey T.J. Parsing and Compiling Using Prolog. ACM Transactions on Programming Languages and Systems. 9:(2):April 1987;125-163
11. Dahl V., Abramson H. Logic Grammars. 1989;Springer-Verlag
12. Denney R. Test-case generation from Prolog-based specifications. IEEE Software. 8:(2):March 1991;49-57
13. Deransart P., Lorho B., Maluszyński J. Programming Languages Implementation and Logic Programming, Proc. International Workshop PLILP '88, Orleans, France, number 348 in LNCS. May 1989;Springer-Verlag
14. Deransart P., Maluszyński J. A Grammatical View of Logic Programming. 1993;The MIT Press
15. T. Despeyroux. Typol: A formalism to implement natural semantics. Technical report 94, INRIA, March 1988.
16. A. Dittmar and P. Forbrig. Methodological and Tool Support for a Task-Oriented Development of Interactive Systems. In J. Vanderdonckt and A. Puerta, editors, Proc. Third International Conference on Computer-Aided Design of User Interfaces, Louvain-la-Neuve, pages 271-274. Kluwer Academic Publishers, 1999.
17. P. Forbrig, and R. Lämmel. Programming Design Patterns. In Proc. TOOLS-USA 2000. IEEE, 2000.
18. J.E.L. Gayo. LPS - a Language Prototyping System, 2000. http://lsi.uniovi.es/~labra/LPS/LPS.html.
19. Gray R.W., Heuring V.P., Levi S.P., Sloane A.M., Waite. Eli W.M. A Complete, Flexible Compiler Construction System. Communications of the ACM 35. February 1992;121-131
20. J. Grosch and H. Emmelmann. A Tool Box for Compiler Construction. In Proc. CC'90, 1990.
21. Harm J., Lämmel R. Two-dimensional Approximation Coverage. Informatica. 24:(3):2000
22. J. Harm, R. Lämmel, and G. Riedewald. The Language Development Laboratory (ΛΔΛ). In M. Haveraaen and O. Owe, editors, Selected papers from the 8th Nordic Workshop on Programming Theory, December 4-6, Oslo, Norway, Research Report 248, ISBN 82-7368-163-7, pages 77-86, May 1997.
23. Heering J., Klint P. Semantics of programming languages: A tool-oriented approach. ACM SIGPLAN Notices. 35:(3):March 2000;39-48
24. P.R. Henriques. A semantic evaluator generating system in prolog. In Deransart et al. [13], pages 201-218.
25. Hill P.M., Lloyd J.W. The Gödel Programming Language. 1994;MIT Press
26. Jack O. Software Testing for Conventional and Logic Programming. Number 10 in Programming Complex Systems. 1996;Walter de Gruyter, Berlin
27. Jourdan M., Parigot D., Julié C., Durin O., Le Bellec C. Design, implementation and evaluation of the FNC-2 attribute grammar system. Conf. on Programming Languages Design and Implementation. June 1990;209-222 White Plains, NY. Published as ACM SIGPLAN Notices, 25(6)
28. T. Kiaupat. Automatisierte Generierung von Benutzungsschnittstellen. Master's thesis, University of Rostock, Department of Computer Science, 1999.
29. M. Kirschenbaum, S. Michaylov, and L.S. Sterling. Skeletons and Techniques as a Normative Approach to Program Development in Logic-Based Languages. In Proc. ACSC'96, Australian Computer Science Communications, 18(1), pages 516-524, 1996.
30. Klint P. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology. 2:(2):1993;176-201
31. Knudsen J.L., Loefgren M., Lehrmann-Madsen O., Magnusson B. Object-Oriented Environments: The Mjølner Approach. 1994;Prentice Hall, New York
32. Koskimies K., Nurmi O., Paakki J., Sippu S. The Design of a Language Processor Generator. Software - Practice and Experience. 18:(2):February 1988;107-135
33. A. Lakhotia. A Workbench for Developing Logic Programs by Stepwise Enhancement. PhD thesis, Case Western Reserve University, 1989.
34. R. Lämmel, Declarative aspect-oriented programming. In Olivier Danvy, editor, Proc. PEPM'99, 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM'99, San Antonio (Texas), BRICS Notes Series NS-99-1, pages 131-146, January 1999
35. Lämmel R., Riedewald G. Reconstruction of paradigm shifts. Second Workshop on Attribute Grammars and their Applications. March 1999;37-56. INRIA, ISBN 2-7261-1138-6
36. R. Lämmel, G. Riedewald, and W. Lohmann. Roles of Program Extension. In Post-workshop proceedings LOPSTR'99, volume 1817 of LNCS. Springer-Verlag, 2000.
37. R. Lämmel, J. Visser, and J. Kort. Dealing with Large Bananas. In Johan Jeuring, editor, Proc. WGP'2000, Technical Report, Universiteit Utrecht, pages 46-59, July 2000. available at http://www.cwi.nl/~ralf/.
38. S. Liang, P. Hudak, and M.P. Jones. Monad transformers and modular interpreters. In Conference Record of POPL '95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 333-343, San Francisco, California, January 1995.
39. E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire. In Proc. FPCA'91, volume 523 of LNCS. Springer-Verlag, 1991.
40. Mosses P.D. Action Semantics. Number 26 in Cambridge Tracts in Theoretical Computer Science. 1992;Cambridge University Press
41. Mycroft A., O'Keefe R.A. A polymorphic type system for PROLOG. ARTIF. INTELL. (NETHERLANDS) ISSN: 0004-3702. 23:(3):August 1984;295-307
42. L. Naish. Higher Order Logic Programming in Prolog. In Proc. Workshop on Multi-Paradigm Logic Programming, JICSLP'96, Bonn, 1996.
43. Paakki J. A note on the speed of prolog. SIGPLAN Notices. 23:(8):August 1988;73-82
44. J. Paakki. A Logic-Based Modification of Attribute Grammars for Practical Compiler Writing. In David H. D. Warren and Peter Szeredi, editors, Proc. 7th International Conference on Logic Programming, pages 203-217. The MIT Press, 1990.
45. Paakki J. A practical implementation of DCGs (abstract). Hammer Dieter. Compiler Compilers, Third International Workshop on Compiler Construction, volume 477 of LNCS. 22-26 October 1990;224-225 Springer-Verlag, Schwerin, Germany
46. Paakki J. Prolog in Practical Compiler Writing. The Computer Journal. 34:(1):1991;64-72
47. Pereira F.C.N., Warren D.H.D. Definite Clause Grammars for Language Analysis-A Survey of the Formalism and a Comparison with Augmented Transition Networks. Artificial Intelligence. 13:(3):1980;231-278
48. U.F. Pleban. Compiler prototyping using formal semantics. In Proc. SIGPLAN '84 Symposium on Compiler Construction, pages 94-105. ACM, ACM, 1984.
49. ISO Prolog Standard, 1995. http://www.logic-programming.org/prolog_std. html
50. Purdom P. A sentence generator for testing parsers. BIT. 12:(3):1972;366-375
51. G. Riedewald. Compilerkonstruktion und Grammatiken syntaktischer Funktionen. Dissertation B, Rechenzentrum der Universität Rostock, 1979.
52. G. Riedewald. The LDL - Language Development Laboratory. Preprint CS-01-91, University of Rostock, Department of Computer Science, December 1991.
53. G. Riedewald. The LDL-Language Development Laboratory. In U. Kastens and P. Pfahler, editors, Compiler Construction, 4th International Conference, CC'92, Paderborn, Germany, number 641 in LNCS, pages 88-94, October 1992.
54. G. Riedewald, and U. Lämmel. Using an attribute grammar as a logic program. In Deransart et al. [13], pages 161-179.
55. Slonneger K., Kurtz B.L. Formal Syntax and Semantics - A Laboratory Based Approach. 1995;Addison-Wesley Publishing Company
56. Sterling L.S., Shapiro E.Y. The Art of Prolog. 2nd edition:1994;MIT Press
57. Tetzner E., Riedewald R. MODEL-HS - An Approach to Specify Hybrid Systems for Symbolic Simulation. Poetsch-Heffter A., Goerigk W. ATPS 99, number 258 in Informatik-Berichte. 1999;201-224 University Hagen
58. Tetzner E. Umsetzung allgemeiner Integritätsbedingungen in Vor- und Nachbedingungen. November 1997;Studienarbeit, Universität Rostock, FB Informatik
59. E. Visser, Z. Benaissa, and A. Tolmach. Building Program Optimizers with Rewriting Strategies. In International Conference on Functional Programming (ICFP'98), Baltimore, Maryland. ACM SIGPLAN, pages 13-26, September 1998.
60. Warren D.H.D. Logic programming and compiler writing. Software - Practice and Experience. 10:(2):February 1980;97-125
61. Wilhelm R., Maurer D. Compiler Design. 1995;Addison Wesley
62. Zumer V., Korbar N., Mernik M. Automatic implementation of programming languages using object-oriented approach. Journal of Systems Architecture. 43:1997;203-210