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>.
| < Previous Terms | Terms Containing REFINE | Next Terms > |
| referential integrity referentially transparent referential transparency referer referrer | ABC AMBUSH ASL+ CHI C-Refine | Refined C Refined Fortran reflexive reflexive domain Reflexive transitive closure |
