Skip navigation

Research Monographs in Parallel and Distributed Computing

Abstract Interpretation and Compilation

This book explores a subclass known as lazy functional languages, beginning with the theoretical issues and continuing through abstract interpretation and offering improved techniques for implementation.

This book proposes a new high level approach to programming that addresses the pragmatic issue of how a computation is distributed across a machine.