\textsc{InterAspect}: aspect-oriented instrumentation with GCC

DOI10.1007/s10703-012-0171-3zbMath1284.68153OpenAlexW1983956391MaRDI QIDQ2441731

Erez Zadok, Justin Seyster, Scott A. Smolka, Xiaowan Huang, Ketan Dixit, Radu Grosu, Scott D. Stoller, Klaus Havelund

Publication date: 28 March 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-012-0171-3

zbMATH Keywords

monitoringaspect-oriented programmingGCCprogram instrumentationtracecut

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items (8)

Decentralised LTL monitoring ⋮ Runtime verification with minimal intrusion through parallelism ⋮ A Multiresolution Analysis of Temporal Logic ⋮ \textsc{InterAspect}: aspect-oriented instrumentation with GCC ⋮ Time-triggered runtime verification ⋮ Generation of positive and negative tests for parsers ⋮ A theory of monitors ⋮ InterAspect

Uses Software

• AspectJ
• AspectC++
• Java-MOP
• CIL

Cites Work

• \textsc{InterAspect}: aspect-oriented instrumentation with GCC
• An Expressive Aspect Language for System Applications with Arachne
• abc : An Extensible AspectJ Compiler
• Unnamed Item
• Unnamed Item

This page was built for publication: \textsc{InterAspect}: aspect-oriented instrumentation with GCC