Functional Analysis of Programs.

Abstract

Analysis of computer programs using a semantics that combines features of the operational and denotational methods is described. The method is an explanatory, analytic tool, a program calculus that allows program meaning to be obtained from program syntax, then compared to a desired meaning by a simple set-theoretic methods. Meanings are functional, sets of ordered (input, output) pairs. A subset of Pascal is used to illustrate the theory. (Author).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1984
Accession Number
ADA150742

Entities

People

  • H. Mills
  • R. Hamlet

Organizations

  • University of Maryland

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Air Force
  • Classification
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Equations
  • Functional Analysis
  • Grammars
  • Language
  • Linear Programming
  • Maryland
  • Neurobehavioral Manifestations
  • Programming Languages
  • Scientific Research
  • Security
  • Universities

Readers

  • Computational Linguistics
  • Computer Science.