Implementation of Functional Languages

12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers

280 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540419198
• Sprache: Englisch
• Erscheinungsdatum: 18.04.2001
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Markus Mohnen, Pieter Koopman