EPROS




A specification/prototyping language.

Implemented in Franz Lisp.

(ftp://utsun.s.u-tokyo.jp/lang/epros).

["Software Prototyping, Formal Methods and VDM", Sharam Hekmatpour et al, A-W 1988].





< Previous Terms Terms Containing EPROS Next Terms >
EPL
epoch
EPP
EPROM
EPROM OTP
EPROS
EPS
EPSILON
epsilon
epsilon squared
EPSIMONE