Microprocessing and microprogramming vol:21 pages:231-240
The ADTS (Algebraic Data Type Specification) language that is developed at the BTM Reserch Centre in cooperation with the KU LEuven is described. The ADTS method and language is based on the abstract data type concept and incorporates algebraic specification techniques. Specific to our approach is the distinction between constructors and operations. The former construct data structures, the latter define functions on data structures. Modularity, parameterisation and exception handling are included in the language.