Object-Oriented Design and Specification

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 12, 1992
Accession Number
ADA256530

Entities

People

  • José Meseguer

Organizations

  • SRI International

Tags

DTIC Thesaurus Topics

  • California
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Contracts
  • Electronic Mail
  • Language
  • Military Research
  • Models
  • Object Oriented Programming
  • Programming Languages
  • Prototypes
  • Semantics
  • Simulators
  • Software Development
  • Software Prototyping

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Parallel and Distributed Computing.