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: <[email protected]>.

2. Cordell Green et al, Stanford U.

Uses logic to specify and evolve programs.

[same as 1?] Reasoning Systems, Inc. E-mail: <[email protected]>.

< 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