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

PDF Url : ADA136282

Report Date : 30 Sep 1983

Pagination or Media Count : 6

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.

Descriptors :   *Computer programming, *Programming languages, *High level languages, *Research management, Computer logic, Semantics, Interfaces, Patterns, Interactions, Data bases, Artificial intelligence, Systems engineering, Computer programs

Subject Categories : Administration and Management
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE