H ?
«
‹
←
→
›
»
Language peer sets for OBJ3:
United States↑
United States/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
OBJ3(ID:1416/obj004)
alternate simple view
Country: United States
Designed 1988
Published: 1988
SRI. Based on order-sorted rewriting. Agent-oriented. Runs on AKCL.
Structures:
Related languages
OBJ2 |
→
|
OBJ3 | |
Evolution of |
OBJ3 |
→
|
2OBJ | |
Written using |
OBJ3 |
→
|
BOBJ | |
Extension of |
OBJ3 |
→
|
CafeObj | |
Evolution of |
OBJ3 |
→
|
KUMO | |
Based on |
OBJ3 |
→
|
Maude | |
Influence |
References:
(1988) "Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl (1988)
Joseph Goguen, Timothy Winkler, Jose Meseguer, Kok (1989) Joseph Goguen, Timothy Winkler, Jose Meseguer, Kokichi Futatsugi and Jean-Pierre Jouannaud. "Introducing OBJ3" in Applications of Algebraic Specification using OBJ, edited by Joseph Goguen and Grant Malcolm
Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997
Abstract
ps
Extract:
OBJ3
Extract:
Resources
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|