Más información sobre el 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.
Compra de libros
Functional and logic programming, Yukiyoshi Kameyama
- Idioma
- Publicado en
- 2004
- product-detail.submit-box.info.binding
- (Tapa blanda)
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- Functional and logic programming
- Idioma
- Inglés
- Autores
- Yukiyoshi Kameyama
- Editorial
- Springer
- Publicado en
- 2004
- Formato
- Tapa blanda
- Páginas
- 307
- ISBN10
- 354021402X
- ISBN13
- 9783540214021
- Serie
- Descripción
- 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.