An approach to implementation of aspect-oriented programming for C
暂无分享,去创建一个
[1] William G. Griswold,et al. An Overview of AspectJ , 2001, ECOOP.
[2] D. L. Parnas,et al. On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.
[3] Alexandre Petrenko,et al. Establishing Linux Driver Verification Process , 2009, Ershov Memorial Conference.
[4] E. M. Novikov. One Approach to Aspect-Oriented Programming Implementation for the C programming language , 2011 .
[5] Dirk Beyer,et al. CPAchecker: A Tool for Configurable Software Verification , 2009, CAV.
[6] Vladimir A. Zakharov,et al. How to Cook an Automated System for Linux Driver Verification , 2008 .
[7] Sriram K. Rajamani,et al. SLIC: A Specification Language for Interface Checking (of C) , 2002 .
[8] Thomas A. Henzinger,et al. The software model checker B last : Applications to software engineering , 2007 .
[9] Mark A. Hillebrand,et al. Invariants, Modularity, and Rights , 2009, Ershov Memorial Conference.
[10] Evgeny Novikov,et al. Towards an Open Framework for C Verification Tools Benchmarking , 2011, Ershov Memorial Conference.
[11] Radu Grosu,et al. Aspect-Oriented Instrumentation with GCC , 2010, RV.
[12] Thomas A. Henzinger,et al. The software model checker Blast , 2007, International Journal on Software Tools for Technology Transfer.
[13] Olaf Spinczyk,et al. AspectC++ – An AOP Extension for C++ , 2005 .