|
|
|
Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers
|
 (Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!
| Inhalt: |
| Non-determinism Analysis in a Parallel-Functional Language.- Exploiting Implicit Parallelism in Functional Programs with SLAM.- Verifying Generic Erlang Client-Server Implementations.- The Design and Implementation of Glasgow Distributed Haskell.- Implementation Skeletons in Eden: Low-Effort Parallel Programming.- ObjectCurry:An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry.- Distributed Programming in Haskell with Ports.- The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour.- A Usage Analysis with Bounded Usage Polymorphism and Subtyping.- Polygonizing Implicit Surfaces in a Purely Functional Way.- Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs.- Porting the Clean Object I/O Library to Haskell.- Organizing Speculative Computations in Functional Systems.- Improving Cache Effectiveness through Array Data Layout Manipulation in SAC.- The Collective Semantics in Functional SPMD Programming. |
|