You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL