+612 9045 4394
 
CHECKOUT
Implementation of Functional Languages : 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000: Selected Papers :  12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000: Selected Papers - Markus Mohnen

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

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

By: Markus Mohnen (Editor), Pieter Koopman (Editor)

Paperback

Published: January 2001
Ships: 5 to 9 business days
5 to 9 business days
$125.05
or 4 easy payments of $31.26 with Learn more

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.

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

ISBN: 9783540419198
ISBN-10: 3540419195
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 272
Published: January 2001
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.5
Weight (kg): 0.4