Formal verification of an optimizing compiler

  • Authors:

  • Xavier Leroy

  • Affiliations:

  • INRIA Rocquencourt, Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France. Xavier.Leroy@inria.fr

  • Venue:
  • MEMOCODE '07 Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract