External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Design and Correctness of Program Transformations Based on Control-Flow Analysis

Anindya Banerjee, Nevin Heintze, Jon G. Riecke. Design and Correctness of Program Transformations Based on Control-Flow Analysis. In Naoki Kobayashi, Benjamin C. Pierce, editors, Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings. Volume 2215 of Lecture Notes in Computer Science, pages 420-447, Springer, 2001. [doi]

Authors

Anindya Banerjee

This author has not been identified. Look up 'Anindya Banerjee' in Google

Nevin Heintze

This author has not been identified. Look up 'Nevin Heintze' in Google

Jon G. Riecke

This author has not been identified. Look up 'Jon G. Riecke' in Google
runs on