External Links

Cite Key

Statistics

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

PDF

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.

Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation

Johann Blieberger, Bernd Burgstaller. Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. In Jean-Pierre Rosen, Alfred Strohmeier, editors, Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings. Volume 2655 of Lecture Notes in Computer Science, pages 153-167, Springer, 2003. [doi]

Authors

Johann Blieberger

This author has not been identified. Look up 'Johann Blieberger' in Google

Bernd Burgstaller

This author has not been identified. Look up 'Bernd Burgstaller' in Google
runs on