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