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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 1983
Accession Number
ADA136282

Entities

Organizations

  • SRI International

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Computer Programming
  • Computer Science
  • Databases
  • Engineering
  • Equations
  • Information Science
  • Language
  • Military Research
  • Product Prototyping
  • Programming Languages
  • Prototypes
  • Software Development
  • Software Prototyping
  • Specifications
  • Technical Information Centers
  • Universities

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Software Engineering.
  • Systems Analysis and Design