A survey of real-time systems and the programming languages used in their development. Shows how modern real-time programming techniques are used in a wide vari

A thorough and accessible introduction to a range of key ideas in type systems for programming language. The study of type systems for programming languages now

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er

An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.

This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004. The 27 r