Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings

Logic programming and model checking....Pages 1-20
CAT: The Copying Approach to Tabling....Pages 21-35
SICStus MT—A multithreaded execution environment for SICStus Prolog....Pages 36-53
A framework for bottom up specialisation of logic programs....Pages 54-72
Termination of logic programs with block declarations running in several modes....Pages 73-88
The Boolean logic of set sharing analysis....Pages 89-101
Derivation of proof methods by abstract interpretation....Pages 102-117
Detecting unsolvable queries for definite logic programs....Pages 118-133
Staging static analyses using abstraction-based program specialization....Pages 134-151
An experiment in domain refinement: Type domains and type representations for logic programs....Pages 152-169
Architecture software using: A methodology for language development....Pages 170-194
Explicit substitutions for objects and functions....Pages 195-212
The complexity of late-binding in dynamic object-oriented languages....Pages 213-229
A compiler for rewrite programs in associative-commutative theories....Pages 230-249
Solution to the problem of Zantema on a persistent property of term rewriting systems....Pages 250-265
A general framework for R -unification problems....Pages 266-281
Operational versus denotational methods in the semantics of higher order languages....Pages 282-283
Functional implementations of continuous modeled animation....Pages 284-299
Compiling Erlang to Scheme....Pages 300-317
From (sequential) Haskell to (parallel) Eden: An implementation point of view....Pages 318-334
Mobile Haskell: Compiling lazy functional programs for the Java Virtual Machine....Pages 335-352
Program analysis in λprolog....Pages 353-354
A game semantics foundation for logic programming....Pages 355-373
Controlling search in declarative programs....Pages 374-390
Encapsulating data in logic programming via categorical constraints....Pages 391-410
Constructive negation using typed existence properties....Pages 411-426
Optimal reduction of functional expressions....Pages 427-428
Embedding multiset constraints into a lazy functional logic language....Pages 429-444
A hidden Herbrand Theorem....Pages 445-462
Integrating constraint propagation in complete solving of linear diophantine systems....Pages 463-480
Approaches to the incremental detection of implicit equalities with the revised simplex method....Pages 481-496