Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Proving Assertions about Programs that Manipulate Data Structures, and . STOC, page 107-116. ACM, (1975)Fast Decision Algorithms Based on Union and Find, and . FOCS, page 114-119. IEEE Computer Society, (1977)Prettyprinting.. ACM Trans. Program. Lang. Syst., 2 (4): 465-483 (1980)A Simplifier Based on Efficient Decision Algorithms., and . POPL, page 141-150. ACM Press, (1978)A 2^2^2^pn Upper Bound on the Complexity of Presburger Arithmetic.. J. Comput. Syst. Sci., 16 (3): 323-332 (1978)Elementary Bounds for Presburger Arithmetic. STOC, page 34-37. ACM, (1973)Reasoning About Recursively Defined Data Structures.. J. ACM, 27 (3): 403-411 (1980)An Assertion Language for Data Structures., and . POPL, page 160-166. ACM Press, (1975)Unrestricted Procedure Calls in Hoare's Logic., and . POPL, page 131-140. ACM Press, (1978)Reasoning about Recursively Defined Data Structures.. POPL, page 151-157. ACM Press, (1978)