An Implementation of OBJ2: An Object-Oriented Language for Abstract Program Specification

S. Sridhar. An Implementation of OBJ2: An Object-Oriented Language for Abstract Program Specification. In Kesav V. Nori, editor, Foundations of Software Technology and Theoretical Computer Science, Sixth Conference, New Delhi, India, December 18-20, 1986, Proceedings. Volume 241 of Lecture Notes in Computer Science, pages 81-95, Springer, 1986.

Abstract

Abstract is missing.