Willkommen, schön sind Sie da!
Logo Ex Libris

Implementation of Functional Languages

  • Kartonierter Einband
  • 280 Seiten
(0) Erste Bewertung abgeben
Alle Bewertungen ansehen
The International Workshops on Implementation of Functional Languages (IFL) are a tradition that has lasted for over a decade. The... Weiterlesen
CHF 100.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich


The International Workshops on Implementation of Functional Languages (IFL) are a tradition that has lasted for over a decade. The aim of these workshops is to bring together researchers to discuss new results and new directions of research related primarily but not exclusively to the implementation of fu- tional or function based languages. A not necessarily exhaustive list of topics includes: language concepts, type checking, compilation techniques, (abstract) interpretation, automatic program generation, (abstract) machine architectures, arrayprocessing,concurrent/parallelprogrammingandprogramexecution,heap management, runtime pro?ling and performance measurements, debugging and tracing, tools and programming techniques. IFL 2000 was held at Schloß Rahe, an 18th century castle in Aachen, G- many, during the ?rst week of September 2000. It attracted 49 researchers from the international functional language community, presenting 33 contributions during the four days of the workshop. The contributions covered all topics m- tioned above. In addition, a special session organised by Thomas Arts from the Ericsson Computer Science Laboratory in Stockholm, Sweden, attracted several prac- tioners from industry who reported on their experiences using the functional language Erlang. The Erlang session was sponsored by Ericsson Computer S- ence Laboratory. This year, the workshop was sponsored by local industry (Ericsson Eurolab DeutschlandGmbHanddebisSystemhausAachen),whichindicatesthegrowing importanceoffunctionallanguageconceptsincommercialspheres.Wethankour sponsors for their generous contributions.


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.BRThe 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.

Non-determinism Analysis in a Parallel-Functional Language.- Exploiting Implicit Parallelism in Functional Programs with SLAM.- Verifying Generic Erlang ClientServer 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.


Titel: Implementation of Functional Languages
Untertitel: 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers
EAN: 9783540419198
ISBN: 3540419195
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 280
Gewicht: 429g
Größe: H235mm x B155mm x T15mm
Jahr: 2001
Auflage: 2001

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"