Program analysis concerns static techniques for computing reliable approximate information about ...

The authors describe here a framework in which the type notation of functional languages is exten...

This book constitutes the thoroughly refereed post-conference proceedings of the 4th Internationa...

This textbook is an introduction to the use of formal methods ranging from semantics of key progr...

This open access book constitutes the proceedings of the 8th International Conference on Principl...

This book provides a framework in which the type notation of functional languages is extended to ...

Both functional and concurrent programming are relatively new paradigms with great promise. In th...

Program analysis concerns static techniques for computing reliable approximate information about ...

Semantics will have an important role to play in the future development of software systems and d...

Concurrent and distributed processes occur everywhere: in embedded systems, in information networ...