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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Grelck, Clemens (Επιμελητής έκδοσης), Huch, Frank (Επιμελητής έκδοσης), Michaelson, Greg J. (Επιμελητής έκδοσης), Trinder, Phil (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3474
• Θέματα: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Logics and Meanings of Programs.

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

Πίνακας περιεχομένων:

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