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 ♦ epsilon squared
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
