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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1988
Accession Number
ADA200967

Entities

People

  • Jill A. Weigand

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Formal Languages
  • Grammars
  • Information Processing
  • Information Science
  • Language
  • Mathematics
  • Schools
  • Software Development
  • Standards
  • United States
  • United States Naval Academy

Fields of Study

  • Computer science
  • Education

Readers

  • Computational Linguistics
  • Computer Science.
  • Logistics and Supply Chain Management.