An approach to implementation of aspect-oriented programming for C

被引：0
作者：
E. M. Novikov
机构：
[1] Institute for System Programming,
来源：
Programming and Computer Software | 2013年 / 39卷
关键词：
Source Code; Advice Body; Head File; Correctness Rule; Static Analysis Tool;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper describes an approach to implementation of aspect-oriented programming (AOP) frameworks for C, outlines traditional AOP facilities for different programming languages, and shows how specific features of C and a build process of C programs affect AOP implementations. Next, we consider additional requirements imposed by a practical application of AOP implementations for C programs. Existing solutions are described and possibility of their use is analyzed. The paper describes a new AOP tool for C that implements the proposed approach and demonstrates its capabilities.
引用
收藏
页码：194 / 206
页数：12
相关论文
共 20 条
  • [1] Parnas DL(1972)On the criteria to be used in decomposing systems into modules Comm. ACM 15 1053-1058
  • [2] Khoroshilov A(2008)How to cook an automated system for Linux driver verification Proc. of the 2nd Spring Young Researchers’ Colloquium on Software Engineering, St. Petersburg 2 10-14
  • [3] Mutilin V(2009)Establishing Linux driver verification process Proc. of the Int. Andrei Ershov Memorial Conf. “Perspectives of Systems Informatics”, Novosibirsk 5947 165-176
  • [4] Sheherbina V(2011)Linux Driver Verification architecture Tr. Inst. Syst. Prog. 20 163-187
  • [5] Strikov O(2007)The software model checker Blast: Applications to software engineering Int. J. Software Tools Technol. Transfer 9 505-525
  • [6] Vinogradov S(undefined)undefined undefined undefined undefined-undefined
  • [7] Zakharov V(undefined)undefined undefined undefined undefined-undefined
  • [8] Khoroshilov A(undefined)undefined undefined undefined undefined-undefined
  • [9] Mutilin V(undefined)undefined undefined undefined undefined-undefined
  • [10] Petrenko A(undefined)undefined undefined undefined undefined-undefined
12