[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Implementation and Application of Functional Languages

18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Zoltán Horváth
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Viktória Zsók
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrew Butterfield
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4449)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: IFL 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. On Optimising Shape-Generic Array Programs Using Symbolic Structural Information

    • Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz
    Pages 1-18

  3. Index Vector Elimination – Making Index Vectors Affordable

    • Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alex Shafarenko
    Pages 19-36

  4. Functional–Based Synthesis of a Systolic Array for GCD Computation

    • Laura Ruff, Tudor Jebelean
    Pages 37-54

  5. Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages

    • Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio
    Pages 55-72

  6. Parallel Coordination Made Explicit in a Functional Setting

    • Jost Berthold, Rita Loogen
    Pages 73-90

  7. Low-Level Programming in Hume: An Exploration of the HW-Hume Level

    • Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
    Pages 91-107

  8. A Conference Management System Based on the iData Toolkit

    • Rinus Plasmeijer, Peter Achten
    Pages 108-125

  9. A Pattern Logic for Prompt Lazy Assertions in Haskell

    • Olaf Chitil, Frank Huch
    Pages 126-144

  10. Ivor, a Proof Engine

    • Edwin Brady
    Pages 145-162

  11. Proving Program Properties Specified with Subtype Marks

    • Tamás Kozsik
    Pages 163-180

  12. Uniqueness Typing Redefined

    • Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson
    Pages 181-198

  13. Heuristics for Type Error Discovery and Recovery

    • Jurriaan Hage, Bastiaan Heeren
    Pages 199-216

  14. Testing Properties of Generic Functions

    • Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak et al.
    Pages 217-234

  15. Worst-Case Execution Times for a Purely Functional Language

    • Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann
    Pages 235-252

  16. Automatic Partial Inversion of Inductively Sequential Functions

    • Jesús M. Almendros-Jiménez, Germán Vidal
    Pages 253-270

  17. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Implementation and Application of Functional Languages

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation