Programming Languages Implementation and Logic Programming

1. Front Matter

   PDF

2. Static analysis of functional programs with logical variables

   • Gary Lindstrom

   Pages 1-19

3. Towards a clean amalgamation of logic programs with external procedures

   • Staffan Bonnier, Jan Małuszyński

   Pages 20-34

4. An application of abstract interpretation in source level program transformation

   • Daniel De Schreye, Maurice Bruynooghe

   Pages 35-57

5. A tool to check the non-floundering logic programs and goals

   • Roberto Barbuti, Maurizio Martelli

   Pages 58-67

6. Towards a framework for the abstract interpretation of logic programs

   • Ulf Nilsson

   Pages 68-82

7. An implementation of retargetable code generators in prolog

   • Annie Despland, Monique Mazaud, Raymond Rakotozafy

   Pages 83-104

8. Towards a "middle road" methodology for writing code generators

   • Feliks Kluźniak, Mirosława Miłkowska

   Pages 105-118

9. A compiler written in prolog: the véda experience

   • Jean-François Monin

   Pages 119-131

10. Coupled context-free grammar as a programming paradigm

    • Yoshiyuki Yamashita, Ikuo Nakata

    Pages 132-145

11. A bottom-up adaptation of earley's parsing algorithm

    • Frédéric Voisin

    Pages 146-160

12. Using an attribute grammar as a logic program

    • Günter Riedewald, Uwe Lämmel

    Pages 161-179

13. Structure sharing in attribute grammars

    • Henning Christiansen

    Pages 180-200

14. A semantic evaluator generating system in prolog

    • Pedro Rangel Henriques

    Pages 201-218

15. A grammatical view of logic programming

    • Pierre Deransart, Jan Maluszynski

    Pages 219-251

16. Compiling typol with attribute grammars

    • Isabelle Attali

    Pages 252-272

17. Formal specification of a prolog compiler

    • Michael Hanus

    Pages 273-282

18. Formal specification of interactive languages using definite clause grammars

    • Weidong Dang

    Pages 283-291

19. Using logic databases in software development environments

    • Patrizia Asirelli, Paola Inverardi

    Pages 292-299

The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results. The intention was to bring together researchers from both fields, especially those working in the area of their intersection. Problems such as formal specification of compilers and syntax-based editors, program analysis and program optimization have been traditionally studied by implementors of algorithmic languages and have resulted in a number of well-established notions, formalisms and techniques. At the same time, an increasing number of people use logic programming as a way of specifying compilers or other programming environment tools, taking advantage of the relatively high level of logic programming and the growing efficiency of Prolog implementations. On the other hand, research on logic programming raises the questions of analysis of logic programs and their optimization. These are motivated primarily by compiler construction for logic programs, by studies on the methodology of logic programming and by the attempts to amalgamate logic programming and functional programming. The purpose of the workshop is to review the techniques developed in one (or both) of the fields which could also be of some help in the other one and to facilitate the transfer of expertise. It seems important to compare notions used in both fields: showing similarities between them may prevent rediscovering results already known, while studying differences may contribute to the transfer of technology.

• Algorithms
• Clean
• Prolog
• Syntax
• Variable
• algorithm
• compiler
• formal specification
• functional programming
• logic
• optimization
• programming
• programming language

Policies and ethics