Compilation and equivalence of imperative objects

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/bfb0058024 ◽

1997 ◽

pp. 74-87 ◽

Cited By ~ 12

Author(s):

A. D. Gordon ◽

P. D. Hankin ◽

S. B. Lassen

Download Full-text