Programming Language - OBJ

OBJ

OBJ - Joseph Goguen 1976. A family of declarative "ultra high level"
languages. Abstract types, generic modules, subsorts (subtypes with
multiple inheritance), pattern-matching modulo equations, E-strategies
(user control over laziness), module expressions (for combining modules),
theories and views (for describing module interfaces). For the massively
parallel RRM (Rewrite Rule Machine). "Higher-Order Functions Considered
Unnecessary for Higher-Order Programming", J.A. Goguen, in Research Topics
in Functional Programming.
OBJ0 - Tardo. Based on unsorted equational logic.
OBJT - Tardo. Error algebras plus an image construct.
OBJ1 -

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

19 plus 6? *   Robot Spam Prevention

 

Next Language:   O`small

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