Implementation and application of functional languages

En savoir plus sur le livre

InhaltsverzeichnisOn 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.