5. PLILP 1993: Tallinn, Estonia

@proceedings{DBLP:conf/plilp/1993,
  editor    = {Maurice Bruynooghe and
               Jaan Penjam},
  title     = {Programming Language Implementation and Logic Programming, 5th
               International Symposium, PLILP'93, Tallinn, Estonia, August 25-27,
               1993, Proceedings},
  booktitle = {PLILP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {714},
  year      = {1993},
  isbn      = {3-540-57186-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

• Uwe Kastens: Executable Specifications for Language Implementation. 1-11 BibTeX

Integration of Different Paradigms I

• Johan Boye: Avoiding Dynamic Delays in Functional Logic Programs. 12-27 BibTeX
• Michael Hanus, Berthold Josephs: A Debugging Model for Functional Logic Programs. 28-43 BibTeX

Constraint Programming

• Pierre Lim, Joachim Schimpf: A Conservative Approach to Meta-Programming in Constraint Logic Programming. 44-59 BibTeX
• Jean Jourdan, Thierry Sola: The Versatility of Handling Disjunctions as Constraints. 60-74 BibTeX

Static Analysis and Abstract Interpretation I

• Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier: Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. 75-91 BibTeX
• Andreas Kågedal: Improvements in Compile-Time Analysis for Ground Prolog. 92-107 BibTeX

Grammars

• Mark-Jan Nederhof: A New Top-Down Parsing Algorithm for Left-Recursive DCGs. 108-122 BibTeX
• Martin Jourdan, Carole Le Bellec, Didier Parigot, Gilles Roussel: Specification and Implementation of Grammar Couplings using Attribute Grammars. 123-136 BibTeX
• Arnd Poetzsch-Heffter: Programming Language Specification and Prototyping Using the MAX System. 137-150 BibTeX

Invited Talk

• Andrei Mantsivoda: Flang and its Implementation. 151-166 BibTeX

Narrowing I

• Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans: Efficient Lazy Narrowing using Demandedness Analysis. 167-183 BibTeX
• Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: A Demand Driven Computation Strategy for Lazy Narrowing. 184-200 BibTeX

Integration of Different Paradigms II

• John Darlington, Yike Guo, Martin Köhler: Functional Programming Languages with Logical Variables: A Linear Logic View. 201-219 BibTeX
• Antonio Natali, Andrea Omicini: Objects with State in Contextual Logic Programming. 220-234 BibTeX

Parallelism I

• Khayri A. M. Ali, Roland Karlsson: A Novel Method for Parallel Implementation of findall. 235-245 BibTeX
• Remco Moolenaar, Bart Demoen: A Parallel Implementation for AKL. 246-261 BibTeX

Implementation Techniques

• Owen Kaser: Inlining to Reduce Stack Space. 262-274 BibTeX
• Agostino Dovier, Enrico Pontelli: A WAM-Based Implementation of a Logical Language with Sets. 275-290 BibTeX

Parallelism II

• Vicente Benjumea, José M. Troya: An OR Parallel Prolog Model for Distributed Memory Systems. 291-301 BibTeX
• Jonas Barklund, Johan Bevemyr: Executing Bounded Quantifications on Shared Memory Multiprocessors. 302-317 BibTeX

Static Analysis and Abstract Interpretation II

• David Clark, Chris Hankin: A Lattice of Abstract Graphs. 318-331 BibTeX
• Mads Rosendahl: Higher-Order Chaotic Iteration Sequences. 332-345 BibTeX
• Geoffrey L. Burn, Daniel Le Métayer: Proving the Correctness of Compiler Optimizations Based on Strictness Analysis. 346-364 BibTeX

Invited Talk

• Alexander Ja. Dikovsky: Abstract Complexity of Prolog Based on WAM. 365-377 BibTeX

Narrowing II

• Alexander A. Letichevsky: Development of Rewriting Strategies. 378-390 BibTeX
• María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: Narrowing Approximations as an Optimization for Equational Logic Programs. 391-409 BibTeX

Abstracts of System Demonstrations and Posters

• P. Canalda, L. Cognard, Annie Despland, Monique Mazaud: PAGODE: a Back End Generator. 410-411 BibTeX
• Michele Bugliesi, Giuseppe Nardiello: SelfLog: Language and Implementation. 412-413 BibTeX
• Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond: Embedding Declarative Subprograms into Imperative Constructs. 414-415 BibTeX
• Guido Hogen, Rita Loogen: Stack Management of Runtime Structures in Distributed Implementations. 416-417 BibTeX
• Christoph W. Keßler, Thomas Rauber: Efficient Register Allocation for Large Basic Blocks. 418-419 BibTeX
• Martin Alt, Georg Sander, Reinhard Wilhelm: Generation of Synchronization Code for Parallel Compilers. 420-421 BibTeX