Functional Semantics.

Abstract

An 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, and compared to a desired meaning. 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
Jan 01, 1982
Accession Number
ADA127372

Entities

People

  • Harlan Mills
  • Richard Hamlet

Organizations

  • University of Maryland

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Calculus
  • Computational Science
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Grammars
  • Language
  • Linguistics
  • Number Theory
  • Numbers
  • Programming Languages
  • Specifications

Readers

  • Computational Linguistics
  • Computer Science.