A derivative of SETL with Ada-like syntax developed at the University of Essen in 1990. Formerly known as SETL/E. ["SETL/E, A Prototyping System Based on Sets", E.E. Doberkat et al, in Tagungsband TOOL90, W. Zorn ed, pp. 109-118, U Karlsruhe, Nov 1990]. ["ProSet - A Language for Prototyping with Sets", E.-E. Doberkat et al, in Proc Third Intl Workshop on Rapid System Prototyping, N. Kanopoulos ed, IEEE Comp Soc Press, June 1992, pp. 235-248].

In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ B ] [ b ] [ ba ] [ be ] [ C ] [ ch ] [ D ] [ de ] [ du ] [ E ] [ ed ] [ er ] [ es ] [ ET ] [ et ] [ ETL ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gs ] [ gu ] [ gun ] [ h ] [ hop ] [ hr ] [ id ] [ IE ] [ IEEE ] [ il ] [ in ] [ ir ] [ it ] [ J ] [ K ] [ ke ] [ kn ] [ ksh ] [ Lex ] [ li ] [ ls ] [ ly ] [ mo ] [ mod ] [ module ] [ mp ] [ N ] [ na ] [ ne ] [ ng ] [ ni ] [ no ] [ O ] [ om ] [ OO ] [ op ] [ pe ] [ ph ] [ ping ] [ query ] [ rc ] [ re ] [ rl ] [ ro ] [ ru ] [ S ] [ sb ] [ SE ] [ se ] [ SET ] [ SETL ] [ SETL/E ] [ sh ] [ si ] [ sit ] [ sr ] [ st ] [ sy ] [ syntax ] [ T ] [ th ] [ to ] [ ua ] [ va ] [ ve ] [ Z ]