Maggiori informazioni sul libro
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.
Acquisto del libro
Functional and logic programming, Yukiyoshi Kameyama
- Lingua
- Pubblicato
- 2004
- product-detail.submit-box.info.binding
- (In brossura)
Metodi di pagamento
Ancora nessuna valutazione.
- Titolo
- Functional and logic programming
- Lingua
- Inglese
- Autori
- Yukiyoshi Kameyama
- Editore
- Springer
- Pubblicato
- 2004
- Formato
- In brossura
- Pagine
- 307
- ISBN10
- 354021402X
- ISBN13
- 9783540214021
- Serie
- Descrizione
- 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.