This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996. The 23 revised

The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 1980s to include those computer theoretical and practical develop

Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic

This volume contains a thoroughly refereed collection of revised full papers selected from the presentations at the First East-West International Conference on

This book presents the refereed proceedings of the Third International Conference on Intelligent Tutoring Systems, ITS '96, held in Montreal, Canada, in June 19