Accession Number:

ADA256530

Title:

Object-Oriented Design and Specification

Descriptive Note:

Progress rept. 1 Oct 1991-30 Sep 1992

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA

Personal Author(s):

Report Date:

1992-10-12

Pagination or Media Count:

9.0

Abstract:

We have made substantial progress in the following areas 1 The OBJ language 2 Concurrent object-oriented programming and the Maude language 3 Massive parallelism for declarative languages and 4 Computability of algebraic data types.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE