Abstract Interpretation-Based Certification of Assembly Code
暂无分享,去创建一个
[1] George C. Necula,et al. Proof-carrying code , 1997, POPL '97.
[2] George C. Necula,et al. Translation validation for an optimizing compiler , 2000, PLDI '00.
[3] Henrik Theiling,et al. Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
[4] Patrick Cousot,et al. Systematic design of program transformation frameworks by abstract interpretation , 2002, POPL '02.
[5] Henrik Theiling,et al. Fast and Precise WCET Prediction by Separated Cache and Path Analyses , 2000, Real-Time Systems.
[6] Patrick Cousot,et al. Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, invited chapter , 2002 .
[7] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[8] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[9] Antoine Mid. The Octagon Abstract Domain , 2001 .
[10] Patrick Cousot,et al. Semantic foundations of program analysis , 1981 .
[11] Reinhard Wilhelm,et al. Cache Behavior Prediction by Abstract Interpretation , 1996, SAS.
[12] Jérôme Feret,et al. Dependency Analysis of Mobile Systems , 2002, ESOP.
[13] Patrick Cousot,et al. Systematic design of program analysis frameworks , 1979, POPL.
[14] Yves Bertot,et al. A certified Compiler for an Imperative Language , 1998 .
[15] David A. Schmidt,et al. The essence of computation: complexity, analysis, transformation , 2002 .
[16] Neil D. Jones,et al. Program Flow Analysis: Theory and Application , 1981 .
[17] Amir Pnueli,et al. VOC: A Translation Validator for Optimizing Compilers , 2002, COCV@ETAPS.
[18] Michael Karr,et al. Affine relationships among variables of a program , 1976, Acta Informatica.
[19] Patrick Cousot,et al. Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software , 2002, The Essence of Computation.