Foreword
The four case studies that follow each have a number of common features. They each illustrate the birth of an idea and show how that idea ca...
* Explains process algebra and protocol specification using µ CRL, a language developed to combine process algebra and abstract data types
* Tex...
A framework written in Java for implementing high-level and dynamic languages, compiling them into Java bytecodes.
An implementation of Scheme, which...