Functional and logic programming

Mehr zum Buch

InhaltsverzeichnisInvited Papers.A Brief Survey of Quantum Programming Languages.Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.Refereed Papers Logic and Functional-Logic Programming.Online Justification for Tabled Logic Programs.Constructive Intensional Negation.Analysing Definitional Trees: Looking for Determinism.Applications.: a Declarative Debugging Tool for Functional-Logic Languages.LIX: an Effective Self-applicable Partial Evaluator for Prolog.Program Analysis.Multivariant Non-failure Analysis via Standard Abstract Interpretation.Set-Sharing Is Not Always Redundant for Pair-Sharing.Backward Pair Sharing Analysis.Rewriting.Implementing Natural Rewriting and Narrowing Efficiently.Complete Axiomatization of an Algebraic Construction of Graphs.Sub-Birkhoff.Types and Modules.Relaxing the Value Restriction.Rigid Mixin Modules.Logic and Semantics.Semantics of Linear Continuation-Passing in Call-by-Name.A Direct Proof of Strong Normalization for an Extended Herbelin’s Calculus.Functional Programming.Normalization by Evaluation for ? ?2.Basic Pattern Matching Calculi: a Fresh View on Matching Failure.Derivation of Deterministic Inverse Programs Based on LR Parsing.