Assertion Mechanisms in Programming Languages.

Abstract

Assertions typically are used to verify program behavior. However, the use of an assertion to cause a run-time exception can have practical benefits. We take this view that an exception is such an assertion failure. The implementation of assertions in a PL/I compiler is described, and the interface with the exception mechanism of PL/I (ON-units) is described. Principle usages include: test data set evaluation and extension of the domain of abstract data type specifications. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1979
Accession Number
ADA098069

Entities

People

  • James R. Lyle
  • Marvin V. Zelkowitz

Organizations

  • University of Maryland

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Data Sets
  • Language
  • Programming Languages
  • Software Development
  • Specifications
  • Structured Programming
  • Test And Evaluation
  • Universities
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.