En savoir plus sur le livre
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.
Achat du livre
Functional and logic programming, Yukiyoshi Kameyama
- Langue
- Année de publication
- 2004
- product-detail.submit-box.info.binding
- (souple)
Modes de paiement
Personne n'a encore évalué .
- Titre
- Functional and logic programming
- Langue
- Anglais
- Auteurs
- Yukiyoshi Kameyama
- Éditeur
- Springer
- Publié
- 2004
- Format
- souple
- Pages
- 307
- ISBN10
- 354021402X
- ISBN13
- 9783540214021
- Séries
- 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.