In)Formalism
John A. Beidler, Robert McCloskey, Yaodong Bi · 2003
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.