Introducing OBJ (1993)
by
Joseph A. Goguen
,
Timothy Winkler
,
José Meseguer
,
Kokichi Futatsugi
,
Jean-Pierre Jouannaud
| Citations: | 118 - 29 self |
BibTeX
@MISC{Goguen93introducingobj,
author = {Joseph A. Goguen and Timothy Winkler and José Meseguer and Kokichi Futatsugi and Jean-Pierre Jouannaud},
title = {Introducing OBJ},
year = {1993}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This is an introduction to the philosophy and use of OBJ, emphasizing its operational semantics, with aspects of its history and its logical semantics. Release 2 of OBJ3 is described in detail, with many examples. OBJ is a wide spectrum first-order functional language that is rigorously based on (order sorted) equational logic and parameterized programming, supporting a declarative style that facilitates verification and allows OBJ to be used as a theorem prover.
