


default search action
1. PLILP 1988: Orléans, France
- Pierre Deransart, Bernard Lorho, Jan Maluszynski:

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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














