Abstract is missing.
- Static Analysis Of Functional Programs With Logic VariablesGary Lindstrom. 1-19
- Towards a Clean Amalgamation of Logic Programs with External ProceduresStaffan Bonnier, Jan Maluszynski. 20-34
- An Application of Abstract Interpretation in Source Level Program TransformationDanny De Schreye, Maurice Bruynooghe. 35-57
- A Tool to Check the Non-Floundering Logic Programs and GoalsRoberto Barbuti, Maurizio Martelli. 58-67
- Towards a Framework for the Abstract Interpretation of Logic ProgramsUlf Nilsson. 68-82
- An Implementation of Retargetable Code Generators in PrologAnnie Despland, Monique Mazaud, Raymond Rakotozafy. 83-104
- Towards a Middle Road Methodology for Writing Code GeneratorsFeliks Kluzniak, Miroslawa Milkowska. 105-118
- A Compiler Written in Prolog: The Véda ExperienceJean-François Monin. 119-131
- Coupled Contex-Free Grammar As a Programming ParadigmYoshiyuki Yamashita, Ikuo Nakata. 132-145
- A Bottom-Up Adaption of Earley s Parsing AlgorithmFrédéric Voisin. 146-160
- Using an Attribute Grammar as a Logic ProgramGünter Riedewald, Uwe Lämmel. 161-179
- Structure Sharing in Attribute GrammarsHenning Christiansen. 180-200
- A Semantic Evaluator Generating System in PrologPedro Rangel Henriques. 201-218
- A Grammatical View of Logic ProgrammingPierre Deransart, Jan Maluszynski. 219-251
- Compiling TYPOL with Attribute GrammarsIsabelle Attali. 252-272
- Formal Specification of a Prolog CompilerMichael Hanus. 273-282
- Formal Specification of Interactive Languages Using Definite Clause GrammarsWeidong Dang. 283-291
- Using Logic Databases in Software Development EnvironmentsPatrizia Asirelli, Paola Inverardi. 292-299