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) : Meseguer, Jose


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a256530.pdf


Report Date : 12 Oct 1992


Pagination or Media Count : 9


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.


Descriptors :   *PROGRAMMING LANGUAGES , COMPUTATIONS , SPECIFICATIONS , COMPUTER LOGIC


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE