J. Heering

Paul Klint

J. A. Bergstra

This book brings together recent research work on algebraic specification (AS), which aims to provide formal techniques for the specification and prototyping of software.

Algebraic Specification

Arie Deursen

Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic specification approach to language prototyping, and is centered around the ASF+SDF formalism and Meta-Environment. The volume is an integrated collection of articles covering a number of case studies, and includes several chapters proposing new techniques for deriving advanced language implementations. The accompanying software is freely available.

Paul Klint

Books

Your next favorite book is out there