Ben Wegbreit
Ben Wegbreit and Jay M. Spitzen.
Proving properties of complex data structures.
Journal of the ACM
, 23(2):389-396, April 1976.
Ben Wegbreit.
Verifying program performance.
Journal of the ACM
, 23(4):691-699, October 1976.
Ben Wegbreit.
Complexity of synthesizing inductive assertions.
Journal of the ACM
, 24(3):504-512, July 1977.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database