Implementation and Application of Functional Languages
21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
Published on 31. October 2010
IX, 237 pages
978-3-642-16478-1 (ISBN)
Description
More details
Other editions
Additional editions
Marco T. Morazán | Sven-Bodo Scholz
Implementation and Application of Functional Languages
21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
Book
10/2010
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
- Title
- Preface
- Organization
- Table of Contents
- PICOBIT: A Compact Scheme System for Microcontrollers
- Introduction
- Related Work
- Overview
- General Approach
- Supported Scheme Dialect
- Built-in Data Structures
- First-Class Continuations
- The PICOBIT Scheme Compiler
- Optimizations
- The PICOBIT Bytecode
- The PICOBIT Virtual Machine
- Environment Representation
- Automatic Memory Management
- Address Space Layout
- Object Representation
- Unbounded Precision Integers
- First-Class Continuations
- Byte Vectors
- The SIXPIC C Compiler
- Restrictions
- Calling Convention
- Optimizations
- Experimental Results
- Bytecode-Based Approach
- Specialized C Compiler
- Future Work
- Conclusion
- References
- Introducing Kansas Lava
- Introduction
- KansasLava
- Signal for Synthesis and Simulation
- Sized Types and Sized Matrices
- Sized Types and Hardware Representations
- Implementation of Kansas Lava
- Type Inference for VHDL Generation
- Representing Addressable Memory
- Modeling Memories in Kansas Lava
- A Extended Example of Kansas Lava
- Related Work
- Conclusions and Future Work
- References
- iTasks 2: iTasks for End-users
- Introduction
- Declarative Workflow Specification
- When Is a Workflow Specification Declarative?
- The iTask Workflow Language
- Implementation Consequences
- The Revised iTask System
- Original Architecture
- Fundamental Problems
- Improved Architecture
- The Server System
- The Client System
- Dynamic Generic Web-Interfaces
- Key Concepts
- The Big Picture
- Low Level Machinery
- Related Work
- Conclusions
- References
- ChalkBoard: Mapping Functions to Polygons
- Introduction
- Functional Image Generation
- ChalkBoard Example: Drawing Lines
- Considerations with Compiling ChalkBoard
- Capturing the Domain Specific Language ChalkBoard
- $O$, the Observable
- ChalkBoard IR
- Compiling ChalkBoard to ChalkBoard IR
- Interpreting ChalkBoard IR
- Related Work
- Conclusion and Future Work
- References
- Implementing Fusion-Equipped Parallel Skeletons by Expression Templates
- Introduction
- Parallel List Skeletons in the SkeTo Library
- Sequential Definition of List Skeletons
- Parallel Definition of List Skeletons
- Target of Fusion Optimization
- Implementation of Parallel List Skeletons in the SkeTo Library
- Interface
- Optimization Mechanism by Expression Templates
- Experiments
- Related Work
- Conclusion
- References
- Arity Raising in Manticore
- Introduction
- Preliminaries
- Signature Analysis
- Gathering Information
- Computing Signatures
- Transformation
- An Example
- Implementation
- Results
- Experimental Method
- Benchmarks
- Conventions
- Allocation
- Execution Time
- Related Work
- Boxing Optimizations
- Arity Raising
- Conclusion
- References
- Symbiotic Expressions
- Introduction
- Symbiotic Expression Design and Implementation
- Running Example
- Symbiotic Expressions
- Extrema
- Extrema Injection
- Extrema Propagation
- Symbiotic Expression Simplification and Exploitation
- Algebraic With-Loop Folding
- Experimental Setup
- Experimental Findings and Performance
- Compiler Impact
- Related Work
- Conclusions and Future Work
- References
- Stream Fusion on Haskell Unicode Strings
- Introduction
- Background
- The String and ByteString Types
- Unicode
- Stream Fusion
- TheText Data Type
- Fusion and the Text API
- Performance
- Related Work
- Conclusions
- References
- Nested and Dynamic Contract Boundaries
- Contracts for Modules
- Static Modules in PLT Scheme
- Nested Contract Regions
- The Pragmatics of Contract Regions
- Implementing Contract Regions
- Contracts for Nominally Linked Units
- Signatures and Contracts
- Units without Contracts
- Units with Contracts
- Implementing Units as Contract Boundaries
- A Question of Blame
- Related Work
- Conclusion
- References
- Pull-Ups, Push-Downs, and Passing It Around Exercises in Functional Incrementalization
- Introduction
- Incrementalization in Action
- Upwards Incrementalization
- Downwards Incrementalization
- Circular Incrementalization
- Discussion
- Combining Algebras
- Optimization
- Going Datatype-Generic
- Applications of Incrementalization
- Related Work
- Conclusion
- References
- A Typical Synergy Dynamic Types and Generalised Algebraic Datatypes
- Introduction
- Preliminaries
- Dynamic Types
- Generalised Algebraic Datatypes
- Motivation
- Setting the Scene
- Conventional Approach
- The Synergy
- Semantics
- Formal Language
- Intuition
- Formal Translation
- Related Work
- Conclusion
- References
- The Very Lazy ?-Calculus and the STEC Machine
- Introduction
- Basics
- The ?-Calculus
- Lazy Evaluation
- The Very Lazy ?-Calculus
- The Quasi Head Normal Form
- The ?-Reduction
- Quasi Head Normal Form, Revisited
- Head Occurrence Reduction
- Examples
- The STEC-Machine
- Abstract Machine Language, Pure Version
- Graph Expansion
- The Evaluation Stack
- Locating an Abstraction
- Locating the Application
- Very Lazy Evaluation
- Wrapping It Up
- Example Evaluated
- Case-Discrimination and Primitives
- Perspectives
- References
- Engineering Higher-Order Modules in SML/NJ
- Introduction
- SML 97 Module System
- Higher-Order Functors
- Overview
- Semantic Objects
- Entity Paths
- Semantic Representations of Signatures
- Structure Realization
- Full Signatures
- Functor Entities and the Entity Calculus
- Higher-Order Functors
- Elaboration
- Related Work
- Conclusion
- References
- Author Index
