Grasp--A Specification Language

Abstract

This paper is an introduction to Grasp, a language for defining and prototyping graph theoretic constructs and properties associated with them. The language is a specification language, which means that one gives only the necessary inputs and desired outputs, and the translator generates the necessary algorithm. Section 2 explains why Grasp was devised. Section 3 gives the syntax of the language. Section 4 gives some examples of Grasp specifications. Finally, section 5 discusses the relative strengths and weaknesses of the language. We are currently developing a translator from Grasp specifications into C functions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 13, 1988
Accession Number
ADA202524

Entities

People

  • Todd A. Gross

Organizations

  • University of Nevada, Las Vegas

Tags

Communities of Interest

  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Classification
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Electrical Engineering
  • Engineering
  • Graph Theory
  • Hierarchies
  • Language
  • Military Research
  • Product Prototyping
  • Specifications
  • Standards
  • Translators

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Educational Psychology