1. PLILP 1988: Orléans, France

Pierre Deransart, Bernard Lorho, Jan Maluszynski (Eds.): Programming Language Implementation and Logic Programming, 1st International Workshop PLILP'88, Orléans, France, May 16-18, 1988, Proceedings. Lecture Notes in Computer Science 348 Springer 1989, ISBN 3-540-50820-1

Functional Programming and Logic Programming

Gary Lindstrom:
Static Analysis Of Functional Programs With Logic Variables. 1-19
Staffan Bonnier, Jan Maluszynski:
Towards a Clean Amalgamation of Logic Programs with External Procedures. 20-34

Abstract Interpretation in Logic Programming

Danny De Schreye, Maurice Bruynooghe:
An Application of Abstract Interpretation in Source Level Program Transformation. 35-57
Roberto Barbuti, Maurizio Martelli:
A Tool to Check the Non-Floundering Logic Programs and Goals. 58-67
Ulf Nilsson:
Towards a Framework for the Abstract Interpretation of Logic Programs. 68-82

Logic Programming in Compiler Writing

Annie Despland, Monique Mazaud, Raymond Rakotozafy:
An Implementation of Retargetable Code Generators in Prolog. 83-104
Feliks Kluzniak, Miroslawa Milkowska:
Towards a "Middle Road" Methodology for Writing Code Generators. 105-118
Jean-François Monin:
A Compiler Written in Prolog: The Véda Experience. 119-131

Grammars

Yoshiyuki Yamashita, Ikuo Nakata:
Coupled Contex-Free Grammar As a Programming Paradigm. 132-145
Frédéric Voisin:
A Bottom-Up Adaption of Earley's Parsing Algorithm. 146-160
Günter Riedewald, Uwe Lämmel:
Using an Attribute Grammar as a Logic Program. 161-179

Attribute Grammars and Logic Programming

Henning Christiansen:
Structure Sharing in Attribute Grammars. 180-200
Pedro Rangel Henriques:
A Semantic Evaluator Generating System in Prolog. 201-218
Pierre Deransart, Jan Maluszynski:
A Grammatical View of Logic Programming. 219-251

Attribute Grammars in Logic Programming

Isabelle Attali:
Compiling TYPOL with Attribute Grammars. 252-272
Michael Hanus:
Formal Specification of a Prolog Compiler. 273-282

Logic Programming for Programming Environments

Weidong Dang:
Formal Specification of Interactive Languages Using Definite Clause Grammars. 283-291
Patrizia Asirelli, Paola Inverardi:
Using Logic Databases in Software Development Environments. 292-299

Last update Tue Feb 14 04:09:13 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page