AspectJ code analysis and verification with GASR

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

AspectJ code analysis and verification with GASR

详细信息查看全文

作者：Johan Fabry ; ^a ; ^{jfabry@dcc.uchile.cl" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Coen De Roover^b ; ^{cderoove@vub.ac.be" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Carlos Noguera^b ; ^{cnoguera@soft.vub.ac.be" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Steffen Zschaler^c ; ^{szschaler@acm.org" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Awais Rashid^d ; ^{marash@comp.lancs.ac.uk" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Viviane Jonckers^b ; ^{vejoncke@soft.vub.ac.be" class="auth_mail" title="E-mail the corresponding author}Author Vitae
关键词：Aspect oriented programming ; Source code analysis ; Logic program querying
刊名：Journal of Systems and Software
出版年：2016
出版时间：July 2016
年：2016
卷：117
期：Complete
页码：528-544
全文大小：2874 K

文摘

bel">•: We argue for a general-purpose source code analysis tool that is aware of aspects.
bel">•: We present the logic program querying tool GASR, the first such tool.
bel">•: We discuss its implementation along with its library of logical predicates.
bel">•: We show how it can automatically verify previously published aspectual assumptions.

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.