Implementation of Functional Languages: 12th International Workshop, Ifl 2000, Aachen, Germany, September 4-7, 2000Selected Papers

by INTERNATIONAL WORKSHOP ON THE IMPLEMENTA; Koopman, Pieter

• ISBN13: 9783540419198
• ISBN10: 3540419195
• Format: Paperback
• Copyright: 2001-05-01
• Publisher: Springer Verlag

Summary

New developments in the field of the commonly used photodiagnostic and phototherapeutic methods help to continuously improve the results in the daily practice. Edited by internationally renowned experts, the new edition offers again up-to-date, comprehensive and clinically relevant information on every aspect of photodiagnostics and phototherapy. This eagerly awaited 2nd edition will become the bible of this field. It is structured in following parts: Photochemotherapy in daily practice, special phototherapeutic modalities and photoprotection. Due to the detailed structure the book is more reader-friendly and has a strong focus on clinical aspects. It includes: Guidelines for the treatment selections of specific diseases, practical guidelines for phototherapy with information about basic principles of photobiology, standardized test protocols for photodermatoses and diagnosis for skin tumors. The book is an invaluable resource for dermatologists, oncologists and all other physicians treating dermatological patients.

Table of Contents

Non-determinism Analysis in a Parallel-Functional Language	p. 1
Exploiting Implicit Parallelism in Functional Programs with SLAM	p. 19
Verifying Generic Erlang Client-Server Implementations	p. 37
The Design and Implementation of Glasgow Distributed Haskell	p. 53
Implementation Skeletons in Eden: Low-Effort Parallel Programming	p. 71
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry	p. 89
Distributed Programming in Haskell with Ports	p. 107
The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour	p. 122
A Usage Analysis with Bounded Usage Polymorphism and Subtyping	p. 140
Polygonizing Implicit Surfaces in a Purely Functional Way	p. 158
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs	p. 176
Porting the Clean Object I/O Library to Haskell	p. 194
Organizing Speculative Computations in Functional Systems	p. 214
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC	p. 231
The Collective Semantics in Functional SPMD Programming	p. 249
Author Index	p. 267
Table of Contents provided by Publisher. All Rights Reserved.