ASpecT(ID:1838/asp006)

Algebraic SPECification of abstract data Types.

Bremen Uni

Strict functional language that compiles to C.

Structures:

Resources