H ?
«
‹
←
→
›
»
Language peer sets for BOBJ: United States↑ United States/1997↑ Designed 1997 ↑ 1990s languages ↑ Internet↑ New internationlism↑ BOBJ(ID:3682/bob002)alternate simple viewCountry: 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
Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |