Table of Contents

Partially Deterministic Functions.- Nondeterministic Functional Programming with Sets.- Algebra as a Tool for Real Time Analysis.- The Study of Butterflies.- Sorts of Butterflies.- A Fast Flutter by the Fourier Transform.- Parallel Computations and Delay-Insensitive Circuits.- The Nature of Delay-Insensitive Computing.- A Higher Order Logic Mechanization of the CSP Failures-Divergence Semantics.- Partial Functions, Ordered Categories, Limits and Cartesian Closure.- Evaluation Logic.- Conditional Control is Not Quite Categorical Control.- Simple Type Theory in EVES.- Formal Synthesis.- Proving (Facts About) Ruby.- Author Index.

Promotional Information

Springer Book Archives