H ? « ‹ ← → › »

Language peer sets for Refine:
United States↑
United States/1985↑
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Refine(ID:1179/ref004)

alternate simple view
Country: United States
Designed 1985
Published: 1985

Cordell Green et al, Stanford U. High-level wide-spectrum specification language. Set-theoretic date types (sets, mappings, sequences), first-order logic (for all, there exists). Syntax-directed pattern matching, type inference, and a declarative transformation operator (pre- and post-conditions). Implemented as algorithms which build and transform annotated abstract syntax trees. Compiled into Common Lisp.
Available from Reasoning Systems, 3260 Hillview Ave, Palo Alto, CA 94304. (See CHI). info: help@reasoning.com

Places
Structures:
Related languages
CHI → Refine   Evolution of
References:
  • D.R. Smith et al, (1985) D.R. Smith et al, "Research on Knowledge-Based Software Environments at Kestrel Institute" Extract: Introduction Extract: Rationale for the design of CHI Extract: the V Language Extract: The PSI Project Extract: Related Research Systems Extract: Concluding remarks
          in (1985) IEEE Transactions on Software Engineering, November 1985
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder