Programming Language - Refine

Refine

Refine - 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.
"Research on Knowledge-Based Software Environments at Kestrel Institute",
D.R. Smith et al, IEEE Trans Soft Eng, SE-11(11) (1985). Available from
Reasoning Systems, 3260 Hillview Ave, Palo Alto, CA 94304. (See CHI).
info: help@reasoning.com

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

14 plus 1? *   Robot Spam Prevention

 

Next Language:   Refined C (RC)

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z