Ricardo Peña, Clara Segura (auth.), Markus Mohnen, Pieter Koopman (eds.)3540419195, 9783540419198
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.
Table of contents :
Non-determinism Analysis in a Parallel-Functional Language….Pages 1-18
Exploiting Implicit Parallelism in Functional Programs with SLAM….Pages 19-36
Verifying Generic Erlang Client—Server Implementations….Pages 37-52
The Design and Implementation of Glasgow Distributed Haskell….Pages 53-70
Implementation Skeletons in Eden: Low-Effort Parallel Programming….Pages 71-88
ObjectCurry:An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry….Pages 89-106
Distributed Programming in Haskell with Ports….Pages 107-121
The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour….Pages 122-139
A Usage Analysis with Bounded Usage Polymorphism and Subtyping….Pages 140-157
Polygonizing Implicit Surfaces in a Purely Functional Way….Pages 158-175
Freja, Hat and Hood – A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs….Pages 176-193
Porting the Clean Object I/O Library to Haskell….Pages 194-213
Organizing Speculative Computations in Functional Systems….Pages 214-230
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC….Pages 231-248
The Collective Semantics in Functional SPMD Programming….Pages 249-265
Reviews
There are no reviews yet.