Assertion techniques for dynamic monitoring of linear list data structures.

Stephen S. Yau, John L. Ramey

Browse the full COMPSAC paper archive.