ADT Compiler

• Automatic implementation of ADT specifications as a rewrite system.

• Memory management provided.

• Opportunity to replace all or part of the data types by hand coded implementations. For efficient implementations (e.g. machine integers), or to link with other worlds (e.g. interoperation with ASN.1 coded data).

• Partial data types may be considered by associating a user function to operations. This function gets control whenever the operation is exercised, and may raise an exception or terminate the program.

• User may specify which operations are constructors and which ones are not; this enables effective compile time checking of questionable data type specifications.