A1 gebra ic Data Type Speci f icat i ons . Language, Method and Tools.
Luc Duponcheel, Juergen Heyman, Willy Van Puymbroeck, F. Wellesplein · 1988
This paper describes the concepts of an algebraic specification language a1 lowing the development of structured, clear and reusable specifications and introduces its support environment. Initial experience using the language, method and tools in the development of a specification of the Knuth Bendix algorithm is discussed. Rapid prototyping is emphasized in the tools. In particular a translator for constructive s pecifications is illustrated. Also the use of components of a prototype p roof environment is indicated.