VOC: A Methodology for the Translation Validation of OptimizingCompilers
暂无分享,去创建一个
[1] Amir Pnueli,et al. Deciding Equality Formulas by Small Domains Instantiations , 1999, CAV.
[2] Edward Y. Chang,et al. STeP: The Stanford Temporal Prover , 1995, TAPSOFT.
[3] Gerhard Goos,et al. Verification of Compilers , 1999, Correct System Design.
[4] Amir Pnueli,et al. Translation Validation , 1998, TACAS.
[5] Robert W. Floyd,et al. Assigning Meanings to Programs , 1993 .
[6] Allen,et al. Optimizing Compilers for Modern Architectures , 2004 .
[7] Martin Rinard,et al. Credible Compilation with Pointers , 1999 .
[8] David L. Dill,et al. CVC: A Cooperating Validity Checker , 2002, CAV.
[9] Gerda Janssens,et al. Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations , 2002, COCV@ETAPS.
[10] Carl Christian Frederiksen. Correctness of Classical Compiler Optimizations using CTL , 2002, COCV@ETAPS.
[11] Barbara M. Chapman,et al. Supercompilers for parallel and vector computers , 1990, ACM Press frontier series.
[12] Natarajan Shankar,et al. ICS: Integrated Canonizer and Solver , 2001, CAV.
[13] Stephen Wolfram,et al. The Mathematica Book , 1996 .
[14] George C. Necula,et al. Proof-carrying code , 1997, POPL '97.
[15] Xavier Rival. Interpretation-based certification of assembly code , 2003 .
[16] Amir Pnueli,et al. The Code Validation Tool (CVT) , 1998, International Journal on Software Tools for Technology Transfer (STTT).
[17] George C. Necula,et al. Translation validation for an optimizing compiler , 2000, PLDI '00.
[18] Amir Pnueli,et al. Validation of Optimizing Compilers , 2001 .
[19] Sabine Glesner,et al. Verified Code Generation for Embedded Systems , 2002, COCV@ETAPS.
[20] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[21] George C. Necula,et al. The design and implementation of a certifying compiler , 1998, PLDI.