Progamming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings

✍ Scribed by Uwe Kastens (auth.), Maurice Bruynooghe, Jaan Penjam (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1993
• Tongue: English
• Leaves: 432
• Series: Lecture Notes in Computer Science 714
• Edition: 1
• Category: Library

✦ Synopsis

This volume contains the proceedings of the Fifth International Symposium onProgramming Language Implementation and Logic Programming (PLILP '93), held in Tallinn, Estonia, in August 1993. The series of PLILP symposiums was established to promote contacts and information exchange among scientists who share common interests in declarative programming techniques, logic programming, and programming languages imnplementation. Researchers from the fields of algorithmic programming languages as well as logic, functional, object-oriented, and constraint programming constitute the audience of PLILP. The volume contains three invited talks and 24 selected contributed papers grouped intoparts on: integration of different paradigms, constraint programming, staticanalysis and abstract interpretation, grammars, narrowing, parallelism, and implementation techniques. The volume closes with six abstracts of systems demonstrations and posters.

✦ Table of Contents

Executable specifications for language implementation....Pages 1-11
Avoiding dynamic delays in functional logic programs....Pages 12-27
A debugging model for functional logic programs....Pages 28-43
A conservative approach to meta-programming in constraint logic programming....Pages 44-59
The versatility of handling disjunctions as constraints....Pages 60-74
Efficient bottom-up abstract interpretation of prolog by means of constraint solving over symbolic finite domains (extended abstract)....Pages 75-91
Improvements in compile-time analysis for Ground Prolog....Pages 92-107
A new top-down parsing algorithm for left-recursive DCGs....Pages 108-122
Specification and implementation of grammar couplings using attribute grammars....Pages 123-136
Programming language specification and prototyping using the MAX system....Pages 137-150
Flang and its implementation....Pages 151-166
Efficient lazy narrowing using demandedness analysis....Pages 167-183
A demand driven computation strategy for lazy narrowing....Pages 184-200
Functional programming languages with logical variables: A linear logic view....Pages 201-219
Objects with state in contextual logic programming....Pages 220-234
A novel method for parallel implementation of findall....Pages 235-245
A parallel implementation for AKL....Pages 246-261
Inlining to reduce stack space....Pages 262-274
A WAM-based implementation of a logic language with sets....Pages 275-290
An OR parallel Prolog model for distributed memory systems....Pages 291-301
Executing bounded quantifications on shared memory multiprocessors....Pages 302-317
A lattice of abstract graphs....Pages 318-331
Higher-order chaotic iteration sequences....Pages 332-345
Proving the correctness of compiler optimisations based on strictness analysis....Pages 346-364
Abstract complexity of prolog based on WAM....Pages 365-377
Development of rewriting strategies....Pages 378-390
Narrowing approximations as an optimization for equational logic programs....Pages 391-409
Pagode: A back end generator....Pages 410-411
SelfLog: Language and implementation....Pages 412-413
Embedding declarative subprograms into imperative constructs....Pages 414-415
Stack management of runtime structures in distributed implementations....Pages 416-417
Efficient register allocation for large basic blocks....Pages 418-419
Generation of synchronization code for parallel compilers....Pages 420-421

✦ Subjects

Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Artificial Intelligence (incl. Robotics); Software Engineering