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>.

Try this search on Wikipedia, OneLook, Google

Nearby terms: referential transparency « referer « referrer « REFINE » Refined C » Refined Fortran » reflexive


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.