Implementation and Application of Functional Languages  18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /  [electronic resource] : 
edited by Viktória Zsók, Andrew Butterfield. 
 - 1st ed. 2007. 
 - X, 272 p.  online resource. 
 - Theoretical Computer Science and General Issues,  4449  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  4449 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540741305 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-74130-5  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Compilers (Computer programs).<br/>Computer programming.<br/>Computer science.<br/>Compilers and Interpreters.<br/>Programming Techniques.<br/>Computer Science Logic and Foundations of Programming.
<br/><br/><label>LC Class. No.: </label>QA76.76.C65 
<br/><br/><label>Dewey Class. No.: </label>005.45