| Domain | Definition | ||
| Computing | 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]. Source: The Free On-line Dictionary of Computing. | ||
Source: compiled by the editor from various references; see credits. | Top | ||
