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].
Nearby terms:
EPP « EPROM « EPROM OTP « EPROS » EPS »
EPSILON » epsilon
|