Language Protocols for Domain-Specific Debugging

Interactive debuggers are valuable tools to localize defects within programs, but are costly to implement. We argue that existing solutions to generate or configure debuggers for DSLs are not fully satisfying. In this work, we present a novel debugging architecture tailored for the debugging of heterogeneous DSLs, while limiting the effort required from language engineers. This approach enables the use of domain-specific debugging operations, such as breakpoint types and step types. Our architecture relies on language protocols, including a reinterpretation of DAP for the integration of a configurable domain-specific debugger within existing IDEs.

Authors

Institutions

Publication Details

Published
2024-09-22
DOI
https://doi.org/10.1145/3652620.3676881
Primary Topic
Model-Driven Software Engineering Techniques
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Language Protocols for Domain-Specific Debugging

Josselin Enet
Model-Driven Software Engineering Techniques
article

Language Protocols for Domain-Specific Debugging

Josselin Enet
article en

Abstract

Interactive debuggers are valuable tools to localize defects within programs, but are costly to implement. We argue that existing solutions to generate or configure debuggers for DSLs are not fully satisfying. In this work, we present a novel debugging architecture tailored for the debugging of heterogeneous DSLs, while limiting the effort required from language engineers. This approach enables the use of domain-specific debugging operations, such as breakpoint types and step types. Our architecture relies on language protocols, including a reinterpretation of DAP for the integration of a configurable domain-specific debugger within existing IDEs.

École Centrale de Nantes (FR), Centre National de la Recherche Scientifique (FR), Laboratoire des Sciences du Numérique de Nantes (FR), Nantes Université (FR)
Openalex Percentile: Top 80%
Model-Driven Software Engineering Techniques
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.