Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM

Résumé

We present a novel instrumentation language for BISM, a lightweight bytecode-level instrumentation tool for JVM languages. The new DSL aims to simplify the instrumentation process, making it more accessible to a wider user base. It employs an intuitive syntax, directly mapping to the key requirements of program instrumentation for runtime verification. It enhances productivity by eliminating boilerplate code and low-level details, while also supporting code generation and collaboration. The DSL balances expressiveness, and abstraction, bridging the gap between domain experts and the complexities of instrumentation specification.
Fichier principal
Vignette du fichier
main.pdf (126.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04381683 , version 1 (09-01-2024)

Licence

Paternité

Identifiants

Citer

Chukri Soueidi, Yliès Falcone. Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. RV 2023 - 23rd International Conference on Runtime Verification, Oct 2023, Thessalokini, Greece. pp.327-338, ⟨10.1007/978-3-031-44267-4_17⟩. ⟨hal-04381683⟩
6 Consultations
17 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More