دانلود کتاب Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings

فهرست مطالب :

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 -