(In)Formalism

  • Authors:

  • John Beidler;Robert McCloskey;Yaodong Bi

  • Affiliations:

  • Department of Computing Sciences, University of Scranton, Scranton, PA;Department of Computing Sciences, University of Scranton, Scranton, PA;Department of Computing Sciences, University of Scranton, Scranton, PA

  • Venue:
  • Journal of Computing Sciences in Colleges
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes a "gentle" approach we are taking in our Data Structures and Algorithms course to introduce the use of formal notation as an aid in the specification and implementation of abstract data types. So that it can be included as comments within source code (and be processed by the javadoc utility), we chose a notation that relies upon only ASCII symbols, plus the ability to italicize, boldface, and form subscripts, superscripts, and horizontal lines.