By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


ProSet




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].





< Previous Terms Terms Containing ProSet Next Terms >
Proposal Writing
propositional calculus
propositional logic
proprietary
PROSE
ProSet
SETL
SETL/E
PROSPER
Prospero
ProTalk
protected mode
PROTEUS


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions