Functional and Logic Programming
6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings
Series: Lecture Notes in Computer Science; 2441;
- Publisher's listprice EUR 53.49
-
22 690 Ft (21 609 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 8% (cc. 1 815 Ft off)
- Discounted price 20 874 Ft (19 880 Ft + 5% VAT)
22 690 Ft
Availability
Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
Not in stock at Prospero.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number 2002
- Publisher Springer
- Date of Publication 2 September 2002
- Number of Volumes 1 pieces, Book
- ISBN 9783540442332
- Binding Paperback
- No. of pages310 pages
- Size 235x155 mm
- Weight 1000 g
- Language English
- Illustrations X, 310 p. 0
Categories
Long description:
Springer Book Archives
MoreTable of Contents:
Invited Papers.- Formal Methods in CafeOBJ.- The Essence of XML (Preliminary Version).- To the Gates of HAL: A HAL Tutorial.- Tutorial Paper.- Functional Logic Design Patterns.- Constraints.- On Consistency and Width Notions for Constraint Programs with Algebraic Constraints.- Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms.- Program Transformation and Analysis.- On the Correctness of the Factoring Transformation.- Lambda-Lifting in Quadratic Time.- Semantics.- The Well-Founded Semantics in Normal Logic Programs with Uncertainty.- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus.- Coinductive Interpreters for Process Calculi.- Rewriting.- Descendants and Head Normalization of Higher-Order Rewrite Systems.- Narrowing Failure in Functional Logic Programming.- Compilation Techniques.- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.- Dynamic-Cut with Definitional Trees.- Programming Methodology.- The Head Condition and Polymorphic Recursion.- Structural Abstraction and Application in Logic Programming.- VM?: A Functional Calculus for Scientific Discovery.
More
