H ? « »

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


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

Related languages
CHI Refine   Evolution of

  • 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