Peter Selinger (auth.), Yukiyoshi Kameyama, Peter J. Stuckey (eds.)354021402X, 9783540214021, 9783540247548
The 18 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on logic and functional-logic programming, applications, program analysis, rewriting, types and modules, logic and semantics, and functional programming.
Table of contents :
Front Matter….Pages –
A Brief Survey of Quantum Programming Languages….Pages 1-6
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic….Pages 7-21
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework….Pages 22-23
Online Justification for Tabled Logic Programs….Pages 24-38
Constructive Intensional Negation….Pages 39-54
Analysing Definitional Trees: Looking for Determinism….Pages 55-69
$mathcal{DDT}$ : a Declarative Debugging Tool for Functional-Logic Languages….Pages 70-84
LIX: an Effective Self-applicable Partial Evaluator for Prolog….Pages 85-99
Multivariant Non-failure Analysis via Standard Abstract Interpretation….Pages 100-116
Set-Sharing Is Not Always Redundant for Pair-Sharing….Pages 117-131
Backward Pair Sharing Analysis….Pages 132-146
Implementing Natural Rewriting and Narrowing Efficiently….Pages 147-162
Complete Axiomatization of an Algebraic Construction of Graphs….Pages 163-179
Sub-Birkhoff….Pages 180-195
Relaxing the Value Restriction….Pages 196-213
Rigid Mixin Modules….Pages 214-228
Semantics of Linear Continuation-Passing in Call-by-Name….Pages 229-243
A Direct Proof of Strong Normalization for an Extended Herbelin’s Calculus….Pages 244-259
Normalization by Evaluation for λ →2 ….Pages 260-275
Basic Pattern Matching Calculi: a Fresh View on Matching Failure….Pages 276-290
Derivation of Deterministic Inverse Programs Based on LR Parsing….Pages 291-306
Back Matter….Pages –
Reviews
There are no reviews yet.