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.

Types from Control Flow Analysis

Flemming Nielson, Hanne Riis Nielson. Types from Control Flow Analysis. In Thomas W. Reps, Mooly Sagiv, Jörg Bauer, editors, Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Volume 4444 of Lecture Notes in Computer Science, pages 293-310, Springer, 2006. [doi]

Authors

Flemming Nielson

This author has not been identified. Look up 'Flemming Nielson' in Google

Hanne Riis Nielson

This author has not been identified. Look up 'Hanne Riis Nielson' in Google
runs on