Accession Number:

ADA200967

Title:

Design and Implementation of a Pretty Printer for the Functional Specification Language SPEC

Descriptive Note:

Master's thesis

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

Report Date:

1988-06-01

Pagination or Media Count:

235.0

Abstract:

The purpose of this thesis is to develop and implement a language dependent pretty printer for the SPEC language. SPEC is a formal language for writting black-box specifications for components of software systems which are developed in the functional specification stage of software development. The pretty printer is a software tool used to format specifications to make them easier to understand and read. A computer program was written implementing the pretty printer design criteria. The program uses Kodiyak and was written as an attribute grammar. Included is a listing of the grammar for the SPEC language, the pretty printer program source listing, a representative sample of input used to test the pretty printer program and resulting output. A significant result of this study is the conclusion that by abstracting this language dependent pretty printer it is feasible to use Kodiyak to create a language independent pretty printer generator.

Subject Categories:

  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE