Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings - Brossura

Brossura

ISBN 10: 3662208989 ISBN 13: 9783662208984

Casa editrice: Springer, 2014

Riassunto

Invited 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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2014
• Lingua: Inglese
• ISBN 10: 3662208989
• ISBN 13: 9783662208984
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile