Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006 Budapest, Hungary, September 2006 Revised Selected Papers: 4449 - Brossura

 
9783540741299: Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006 Budapest, Hungary, September 2006 Revised Selected Papers: 4449
Brossura
ISBN 10: 3540741291 ISBN 13: 9783540741299
Casa editrice: Springer Berlin Heidelberg, 2008

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer Berlin Heidelberg
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540741291
ISBN 13 
9783540741299
Rilegatura
Copertina flessibile
Numero di pagine
284
Redattore
Horvath Zoltan
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania