|
Conferences in DBLP
- Gary Lindstrom
Static Analysis Of Functional Programs With Logic Variables. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:1-19 [Conf]
- Staffan Bonnier, Jan Maluszynski
Towards a Clean Amalgamation of Logic Programs with External Procedures. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:20-34 [Conf]
- Danny De Schreye, Maurice Bruynooghe
An Application of Abstract Interpretation in Source Level Program Transformation. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:35-57 [Conf]
- Roberto Barbuti, Maurizio Martelli
A Tool to Check the Non-Floundering Logic Programs and Goals. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:58-67 [Conf]
- Ulf Nilsson
Towards a Framework for the Abstract Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:68-82 [Conf]
- Annie Despland, Monique Mazaud, Raymond Rakotozafy
An Implementation of Retargetable Code Generators in Prolog. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:83-104 [Conf]
- Feliks Kluzniak, Miroslawa Milkowska
Towards a "Middle Road" Methodology for Writing Code Generators. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:105-118 [Conf]
- Jean-François Monin
A Compiler Written in Prolog: The Véda Experience. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:119-131 [Conf]
- Yoshiyuki Yamashita, Ikuo Nakata
Coupled Contex-Free Grammar As a Programming Paradigm. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:132-145 [Conf]
- Frédéric Voisin
A Bottom-Up Adaption of Earley's Parsing Algorithm. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:146-160 [Conf]
- Günter Riedewald, Uwe Lämmel
Using an Attribute Grammar as a Logic Program. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:161-179 [Conf]
- Henning Christiansen
Structure Sharing in Attribute Grammars. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:180-200 [Conf]
- Pedro Rangel Henriques
A Semantic Evaluator Generating System in Prolog. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:201-218 [Conf]
- Pierre Deransart, Jan Maluszynski
A Grammatical View of Logic Programming. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:219-251 [Conf]
- Isabelle Attali
Compiling TYPOL with Attribute Grammars. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:252-272 [Conf]
- Michael Hanus
Formal Specification of a Prolog Compiler. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:273-282 [Conf]
- Weidong Dang
Formal Specification of Interactive Languages Using Definite Clause Grammars. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:283-291 [Conf]
- Patrizia Asirelli, Paola Inverardi
Using Logic Databases in Software Development Environments. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:292-299 [Conf]
|