Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers by Markus MohnenImplementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers by Markus Mohnen

Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany…

EditorMarkus Mohnen, Pieter Koopman

Paperback | April 18, 2001

Pricing and Purchase Info

$114.32 online 
$128.95 list price save 11%
Earn 572 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 thoroughly refereed post-proceedings of the 12th International Workshop on Implementing Functional Languages, IFL 2000, held in Aachen, Germany in September 2000.The 15 revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 33 workshop presentations. Among the topics covered are language concepts, type checking, compilation techniques, abstract interpretation, automatic program generation, abstract machine architectures, array processing, concurrent and parallel processing, heap management, runtime profiling, performance measurement, debugging and tracing, and tools and programming techniques.
Title:Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany…Format:PaperbackDimensions:276 pages, 9.17 × 6.1 × 0.07 inPublished:April 18, 2001Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540419195

ISBN - 13:9783540419198

Look for similar items by category:

Reviews

Table of Contents

Non-determinism Analysis in a Parallel-Functional Language.- Exploiting Implicit Parallelism in Functional Programs with SLAM.- Verifying Generic Erlang Client-Server Implementations.- The Design and Implementation of Glasgow Distributed Haskell.- Implementation Skeletons in Eden: Low-Effort Parallel Programming.- ObjectCurry:An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry.- Distributed Programming in Haskell with Ports.- The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour.- A Usage Analysis with Bounded Usage Polymorphism and Subtyping.- Polygonizing Implicit Surfaces in a Purely Functional Way.- Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs.- Porting the Clean Object I/O Library to Haskell.- Organizing Speculative Computations in Functional Systems.- Improving Cache Effectiveness through Array Data Layout Manipulation in SAC.- The Collective Semantics in Functional SPMD Programming.