You are here: irt.org | FOLDOC | REFINE
1. "Research on Knowledge-Based Software Environments at Kestrel Institute", D.R. Smith et al, IEEE Trans Soft Eng, SE-11(11) (1985). E-mail: <maria@kestrel.edu>.
2. Cordell Green et al, Stanford U. Uses logic to specify and evolve programs. [same as 1?] Reasoning Systems, Inc. E-mail: <help@reasoning.com>.
Nearby terms: referential transparency « referer « referrer « REFINE » Refined C » Refined Fortran » reflexive
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