Roberto M. Amadio, Nicolas Ayache, Yann Régis-Gianas & Ronan Saillard (2010):
Prototype implementation.
Deliverable 2.2 of Project FP7-ICT-2009-C-243881 CerCo. Available at http://cerco.cs.unibo.it/.
Nicholas Ayache, Roberto M. Amadio & Yann Régis-Gianas (2012):
Certifying and Reasoning on Cost Annotations in C Programs.
In: Mariëlle Stoelinga & Ralf Pinger: FMICS,
Lecture Notes in Computer Science 7437.
Springer,
pp. 32–46,
doi:10.1007/978-3-642-32469-7_3.
Christian Ferdinand & Reinhard Wilhelm (1999):
Efficient and Precise Cache Behavior Prediction for Real-TimeSystems.
Real-Time Syst. 17,
pp. 131–181,
doi:10.1023/A:1008186323068.
Xavier Fornari:
Understanding how SCADE suite KCG generates safe C code.
White paper, Esterel Technologies. Available at http://www.esterel-technologies.com/technology/WhitePapers/.
Xavier Leroy (2009):
Formal verification of a realistic compiler.
Commun. ACM 52(7),
pp. 107–115,
doi:10.1145/1538788.1538814.
E. Morel & C. Renvoise (1979):
Global optimization by suppression of partial redundancies.
Commun. ACM 22,
pp. 96–103,
doi:10.1145/359060.359069.
Robert Morgan (1998):
Building an Optimizing Compiler.
Digital Press.
Steven S. Muchnick (1997):
Advanced Compiler Design and Implementation.
Morgan Kaufmann.
Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter P. Puschner, Jan Staschulat & Per Stenström (2008):
The worst-case execution-time problem - overview of methods and survey of tools.
ACM Trans. Embedded Comput. Syst. 7(3),
doi:10.1145/1347375.1347389.
Xuejun Yang, Yang Chen, Eric Eide & John Regehr (2011):
Finding and understanding bugs in C compilers.
In: Mary W. Hall & David A. Padua: PLDI.
ACM,
pp. 283–294,
doi:10.1145/1993498.1993532.
eptcs@eptcs.org