Research report is out with a new release !

Added by Julien COHEN over 2 years ago

A research report on refactoring in Compcert C is now available at . The corresponding code is available here in the Files tab, release "Research report hal-01248121 version 1".

What's new in that release ?

  • We show the preservation of the set of possible behaviors (terminates, diverges, reacts forever, goes wrong).
  • We give a sufficient precondition and several forward and backward description for static composition.