ProSet

Formerly SETL/E

University of Essen, 1990

A derivative of SETL with Ada-like syntax.

"SETL/E, A Prototyping System Based on Sets", E. E. Doberkat et al, in Tagungsband TOOL90, W. Zorn ed, pp.109-118, University of Karlsruhe, Nov 1990.

"ProSet - A Language for Prototyping with Sets", E. E. Doberkat et al, in Proceedings of the Third International Workshop on Rapid System Prototyping, N. Kanopoulos ed, IEEE Computer Society Press, June 1992, pp.235-248.