| Information | |
|---|---|
| has gloss | eng: OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available. |
| lexicalization | eng: OBJ3 |
| instance of | c/Formal specification languages |
Lexvo © 2008-2026 Gerard de Melo. Contact Legal Information / Imprint