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
|