OBJ-1, a Study in Executable Algebraic Formal Specification.
Progress rept. for FY83.
SRI INTERNATIONAL MENLO PARK CA
Pagination or Media Count:
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.
- Administration and Management
- Computer Programming and Software