Kai Trojahner, Clemens Grelck (auth.), Zoltán Horváth, Viktória Zsók, Andrew Butterfield (eds.)3540741291, 9783540741299
Fifteen full papers are presented. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability.
The papers address all current theoretical and methodological issues in functional and function-based languages. This includes language concepts, concurrent/parallel programming, type checking, concurrent/parallel program execution, compilation techniques, heap management, generic programming techniques, runtime profiling, abstract interpretation, performance measurements, automatic program generation, debugging and tracing, abstract machine architectures, verification, tools and programming techniques, array processing, and tools and applications in functional languages.
Table of contents :
Front Matter….Pages –
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information….Pages 1-18
Index Vector Elimination – Making Index Vectors Affordable….Pages 19-36
Functional–Based Synthesis of a Systolic Array for GCD Computation….Pages 37-54
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages….Pages 55-72
Parallel Coordination Made Explicit in a Functional Setting….Pages 73-90
Low-Level Programming in Hume: An Exploration of the HW-Hume Level….Pages 91-107
A Conference Management System Based on the iData Toolkit ….Pages 108-125
A Pattern Logic for Prompt Lazy Assertions in Haskell….Pages 126-144
Ivor , a Proof Engine….Pages 145-162
Proving Program Properties Specified with Subtype Marks….Pages 163-180
Uniqueness Typing Redefined….Pages 181-198
Heuristics for Type Error Discovery and Recovery….Pages 199-216
Testing Properties of Generic Functions….Pages 217-234
Worst-Case Execution Times for a Purely Functional Language….Pages 235-252
Automatic Partial Inversion of Inductively Sequential Functions….Pages 253-270
Back Matter….Pages –
Reviews
There are no reviews yet.