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 viewCountry: 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
References: 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 |