Implementation and Application of Functional Languages
18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Published on 23. August 2007
Book
Paperback/Softback
X, 272 pages
978-3-540-74129-9 (ISBN)
Description
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. 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.
More details
Series
Edition
2007 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
X, 272 p.
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
485 gr
ISBN-13
978-3-540-74129-9 (9783540741299)
DOI
10.1007/978-3-540-74130-5
Schweitzer Classification
Content
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information.- Index Vector Elimination - Making Index Vectors Affordable.- Functional-Based Synthesis of a Systolic Array for GCD Computation.- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.- Parallel Coordination Made Explicit in a Functional Setting.- Low-Level Programming in Hume: An Exploration of the HW-Hume Level.- A Conference Management System Based on the iData Toolkit.- A Pattern Logic for Prompt Lazy Assertions in Haskell.- Ivor, a Proof Engine.- Proving Program Properties Specified with Subtype Marks.- Uniqueness Typing Redefined.- Heuristics for Type Error Discovery and Recovery.- Testing Properties of Generic Functions.- Worst-Case Execution Times for a Purely Functional Language.- Automatic Partial Inversion of Inductively Sequential Functions.