Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ eck, Germany, September 8-10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Tec...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Grelck, Clemens (Editor ), Huch, Frank (Editor ), Michaelson, Greg (Editor ), Trinder, Phil (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Theoretical Computer Science and General Issues, 3474
Temas:
Compilers (Computer programs).
Computer programming.
Computer science.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
  • The Feasibility of Interactively Probing Quiescent Properties of GUI Applications
  • A Functional Programming Technique for Forms in Graphical User Interfaces
  • A Rational Deconstruction of Landin's SECD Machine
  • Explaining ML Type Errors by Data Flows
  • V?M: A Virtual Machine for Strict Evaluation of (Co)Recursive Functions
  • A Virtual Machine for Functional Logic Computations
  • Source-Based Trace Exploration
  • Shrinking Reductions in SML.NET
  • Dynamic Construction of Generic Functions
  • Reasoning About Deterministic Concurrent Functional I/O
  • General Homomorphic Overloading
  • Simple, Effective Code-Size Reduction for Functional Programs.

Ejemplares similares