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].
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].
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012