Implementation and Application of Functional Languages

Name: Implementation and Application of Functional Languages | 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers

Marco T. Morazán Sven-Bodo Scholz(Herausgeber*in)

Springer (Verlag)

Erschienen am 31. Oktober 2010

IX, 237 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-16478-1 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Weitere Details

Weitere Ausgaben

Inhalt

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

Systemvoraussetzungen

Als PDF speichern Als Link merken