H ? « ‹ ← → › »

Language peer sets for BOBJ:
United States↑
United States/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

BOBJ(ID:3682/bob002)

alternate simple view
Country: United States
Designed 1997

Extension to OBJ3

BOBJ extends OBJ3 with support for behavioral specification and verification; in particular, it implements circular coinductive rewriting over theories whose behavioral operations may have multiple hidden arguments, in addition to implementing ordinary rewriting and behavioral rewriting over order sorted equational logic, modulo attributes that can be any combination of associative, commutative and identity. BOBJ also supports the concurrent connection of behavioral theories.
Related languages
KUMO → BOBJ   Target language for
OBJ3 → BOBJ   Extension of

Resources
Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder