This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in September 1994. The volume contains 27 full research papers selected from 67 submissions as well as abstracts of full versions of 3 invited talks by renowned researchers and abstracts of 11 system demonstrations and poster presentations. Among the topics covered are parallelism and concurrency; implementation techniques; partial evaluation, synthesis, and language issues; constraint programming; meta-programming and program transformation; functional-logic programming; and program analysis and abstract interpretation.
Author(s): Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)
Series: Lecture Notes in Computer Science 844
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1994
Language: English
Pages: 474
Tags: Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Programming Techniques; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics)
Concurrent constraint programming....Pages 1-2
Specifications using multiple-conclusion logic programs....Pages 3-4
Viewing a program transformation system at work....Pages 5-24
A portable and efficient implementation of KL1....Pages 25-39
Why Multi-SLD beats SLD (even on a uniprocessor)....Pages 40-56
Abstracting synchronization in concurrent constraint programming....Pages 57-72
A novel term compression scheme and data representation in the BinWAM....Pages 73-87
A simple and efficient copying garbage collector for prolog....Pages 88-101
Deriving residual reference count garbage collectors....Pages 102-116
RML — A new language and implementation for Natural Semantics....Pages 117-131
Towards a provably correct compiler for OBJ3....Pages 132-146
An implementation technique for a class of bottom-up procedures....Pages 147-164
Partial deduction and driving are equivalent....Pages 165-181
Partial continuations as the difference of continuations a duumvirate of control operators....Pages 182-197
Hand-writing program generator generators....Pages 198-214
A logic for encapsulation in object oriented languages....Pages 215-229
Annotated constraint logic programming applied to temporal reasoning....Pages 230-243
Clp(B): Combining simplicity and efficiency in boolean Constraint solving....Pages 244-260
Handling preferences in constraint logic programming with relational optimization....Pages 261-276
Improving search for job-shop scheduling with CLP(FD)....Pages 277-291
Implementations of program composition operations....Pages 292-307
Sleepers: a versatile high-level control mechanism....Pages 308-323
Improving arithmetic performance using fine-grain unfolding....Pages 324-339
Unfold/fold transformations for definite clause programs....Pages 340-354
A graph reduction technique with sharing across narrowings for functional-logic languages....Pages 355-369
Combining lazy narrowing and simplification....Pages 370-384
Combining lazy narrowing with disequality constraints....Pages 385-399
Abstracting numerical values in CLP(H,N)....Pages 400-414
Dynamic dependence in term rewriting systems and its application to program slicing....Pages 415-431
Abstracting s-semantics using a model-theoretic approach....Pages 432-446
Using higher-order control flow analysis when compiling functional languages....Pages 447-448
Readable, runnable requirements specifications in SPILL-2....Pages 449-450
A system to visualize and interact with prolog programs....Pages 451-452
Semantic-based static program transformations for memory space and run time optimization in hybrid languages....Pages 453-454
Towards a constraint functional logic compiler for symbolic computation systems....Pages 455-456
PROMAL — Programming in modal action logic....Pages 457-458
Implementing the synthesis of properties in unfold/fold transformations....Pages 459-460
Shared memory system for Babel: a VHDL specification....Pages 461-462
Towards integrating functional and logic styles using relation....Pages 463-464
Tabulation of functions in definite clause programs....Pages 465-466
Flang system: A new version....Pages 467-468
