Functional and Logic Programming: 7th International Symposium, Flops 2004, Nara, Japan, April 7-9, 2004, Proceedings: 7th Internation by Yukiyoshi KameyamaFunctional and Logic Programming: 7th International Symposium, Flops 2004, Nara, Japan, April 7-9, 2004, Proceedings: 7th Internation by Yukiyoshi Kameyama

Functional and Logic Programming: 7th International Symposium, Flops 2004, Nara, Japan, April 7-9…

byYukiyoshi KameyamaEditorPeter J. Stuckey

Paperback | March 24, 2004

Pricing and Purchase Info

$122.77 online 
$136.95 list price save 10%
Earn 614 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004.The 18 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on logic and functional-logic programming, applications, program analysis, rewriting, types and modules, logic and semantics, and functional programming.
Title:Functional and Logic Programming: 7th International Symposium, Flops 2004, Nara, Japan, April 7-9…Format:PaperbackDimensions:307 pages, 23.3 × 15.5 × 1.73 inPublished:March 24, 2004Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:354021402X

ISBN - 13:9783540214021

Look for similar items by category:

Reviews

Table of Contents

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.