More about the book
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.
Book purchase
Functional and logic programming, Yukiyoshi Kameyama
- Language
- Released
- 2004
- product-detail.submit-box.info.binding
- (Paperback)
Payment methods
No one has rated yet.
- Title
- Functional and logic programming
- Language
- English
- Authors
- Yukiyoshi Kameyama
- Publisher
- Springer
- Released
- 2004
- Format
- Paperback
- Pages
- 307
- ISBN10
- 354021402X
- ISBN13
- 9783540214021
- Series
- Description
- 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.