Accession Number:

ADA136282

Title:

OBJ-1, a Study in Executable Algebraic Formal Specification.

Descriptive Note:

Progress rept. for FY83.

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA

Personal Author(s):

Report Date:

1983-09-30

Pagination or Media Count:

6.0

Abstract:

Our most significant technical results are discussed under three headings Implementation Applications and Examples and Concepts and Foundations. We believe that we have demonstrated, through an ample collection of published examples, the feasability and applicability of an ultra high level programming language in which problems are described by writing equations, and are then solved by regarding those equations as rules for reducing expressions to answers. We have explored several issues that are significant to programming in general, including 1 rapid prototyping 2 reusability in programming 3 types and modularity 4 error handling and recovery 5 database views and representations 6 pattern matching and 7 backtracking. A key to 2, 3 and 4 is the graceful integration of code and specification using a new notion called views. Moreover, we have significantly improved our experimental implementation of OBJ.

Subject Categories:

  • Administration and Management
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE