Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Chitil, Olaf (Επιμελητής έκδοσης), Horváth, Zoltán (Επιμελητής έκδοσης), Zsók, Viktória (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 5083
• Θέματα: Computer science.; Computer system failures.; Computer programming.; Programming languages (Electronic computers).; Computers.; Computer logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Theory of Computation.; Programming Techniques.; Logics and Meanings of Programs.; System Performance and Evaluation.

This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. The 15 revised full papers presented went through two rounds of reviewing and improveme...

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

• Graph Parser Combinators
• Testing Erlang Refactorings with QuickCheck
• Optimal Lambda Lifting in Quadratic Time
• The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity
• XHaskell – Adding Regular Expression Types to Haskell
• Partial Parsing: Combining Choice with Commitment
• Lazy Contract Checking for Immutable Data Structures
• The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA
• A Supercompiler for Core Haskell
• Checking Dependent Types Using Compiled Code
• Debugging Lazy Functional Programs by Asking the Oracle
• Uniqueness Typing Simplified
• Tabular Expressions and Total Functional Programming
• Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler
• From Contracts Towards Dependent Types: Proofs by Partial Evaluation.