Mitchell Wand
Mitchell Wand.
A new incompleteness result for Hoare's system.
Journal of the ACM
, 25(1):168-175, January 1978.
Citations.
Mitchell Wand.
Continuation-based program transformation strategies.
Journal of the ACM
, 27(1):164-180, January 1980.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database