Implementation Of Functional Languages: 12Th International Workshop, Ifl 2000 Aachen, Germany, September 4-7, 2000. Selected Papers (Lecture Notes In Computer Science): 2011 - Brossura

 
9783540419198: Implementation Of Functional Languages: 12Th International Workshop, Ifl 2000 Aachen, Germany, September 4-7, 2000. Selected Papers (Lecture Notes In Computer Science): 2011
Brossura
ISBN 10: 3540419195 ISBN 13: 9783540419198
Casa editrice: Springer, 2001

Sinossi

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Implementing Functional Languages, IFL 2000, held in Aachen, Germany in September 2000. The 15 revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 33 workshop presentations. Among the topics covered are language concepts, type checking, compilation techniques, abstract interpretation, automatic program generation, abstract machine architectures, array processing, concurrent and parallel processing, heap management, runtime profiling, performance measurement, debugging and tracing, and tools and programming techniques.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2001
Lingua
Inglese
ISBN 10 
3540419195
ISBN 13 
9783540419198
Rilegatura
Copertina flessibile
Numero di pagine
280
Redattore
Mohnen Markus
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania