PROGRAMMING WITH PARAMETERIZED ABSTRACT OBJECTS IN OBJ.

Joseph Goguen, David Plaisted, Jose Meseguer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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 languageEnglish (US)
Title of host publicationUnknown Host Publication Title
EditorsDomenico Ferrari, Mario Bolognani, Joseph Goguen
PublisherNorth-Holland Publ Co
Pages163-193
Number of pages31
ISBN (Print)0444866477
StatePublished - 1983
Externally publishedYes

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'PROGRAMMING WITH PARAMETERIZED ABSTRACT OBJECTS IN OBJ.'. Together they form a unique fingerprint.

Cite this