ProSet(ID:1586/pro071)

for PROgramming with SETs

Doberkat, U Essen, 1990.

renaming of SETL/E. A derivative of SETL with Ada-like syntax.
Related languages
SETL/E => ProSet   Renaming
References:
  • Doberkat, E.-E.et al "ProSet A Language for Prototyping with Sets" view details
          in IEEE Software 9(5) September/October 1992 view details