OBJ is a logic based ultra-high level programming language that has been strongly influenced by modern programming methodology. In particular, it provides facilities for user definable abstract data types, parameterized abstract objects, interactive programming (when the system detects errors, it provides suitable error messages and puts the user into an edit mode such that execution resumes when editing is completed), libraries, and other features. This paper describes some experiences with an experimental OBJ implementation in LISP; in general, this experience encourages our belief that equational logic based languages are a promising research direction that could have significant practical impact.
|Original language||English (US)|
|Title of host publication||Unknown Host Publication Title|
|Editors||Domenico Ferrari, Mario Bolognani, Joseph Goguen|
|Publisher||North-Holland Publ Co|
|Number of pages||31|
|State||Published - 1983|
ASJC Scopus subject areas