Ebook: Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
- Genre: Computers
- Tags: Programming Languages Compilers Interpreters, Programming Techniques, Logics and Meanings of Programs
- Series: Lecture Notes in Computer Science 4449 : Theoretical Computer Science and General Issues
- Year: 2007
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
The 18th International Workshop on Implementation and Applications of Functional Languages was held in Budapest, Hungary, in September 2006. This book constitutes the refereed post-proceedings of the workshop.
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. This includes language concepts, concurrent/parallel programming, type checking, concurrent/parallel program execution, compilation techniques, heap management, generic programming techniques, runtime profiling, abstract interpretation, performance measurements, automatic program generation, debugging and tracing, abstract machine architectures, verification, tools and programming techniques, array processing, and tools and applications in functional languages.
This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages, IFL 2006, held in Budapest, Hungary, in September 2006.
The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 40 workshop presentations. The papers address all current theoretical and methodological issues on functional and function-based languages such as language concepts, concurrent/parallel programming, type checking, concurrent/parallel program execution, compilation techniques, heap management, generic programming techniques, runtime profiling, (abstract) interpretation, performance measurements, automatic program generation, debugging and tracing, (abstract) machine architectures, verification, formal aspects, tools and programming techniques, array processing and demos of well working, useable tools and applications in functional languages.