Imagine There’s No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming
Programs in embedded domain-specific languages are realized as graphs of objects of the host language rather than as static input texts. This property enables dynamic meta-programming, but also makes it harder to attach location information to diagnostic messages that arise at a later stage, after the program graph construction. Thus, EDSL-generating expressions and algorithms can be difficult to debug. Here, we present a technique for transparently capturing and replaying location information about the origin of EDSL program objects. It has been implemented in the context of the LLJava-live EDSL-to-bytecode compiler framework on the JVM. The basic idea can be generalized to other contexts, and to any managed runtime environment with reified stack traces.
Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 14:50 | |||
13:30 15mShort-paper | mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices MPLR A: Go Suzuki Tokyo Institute of Technology, A: Takuo Watanabe Tokyo Institute of Technology, A: Sosuke Moriguchi Tokyo Institute of Technology DOI Pre-print Media Attached File Attached | ||
13:45 15mShort-paper | Imagine There’s No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming MPLR DOI | ||
14:00 25mPaper | Existential Containers in Scala MPLR DOI | ||
14:25 25mPaper | Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language MPLR A: Christopher John Wright University of Manchester, A: Mikel Luján University of Manchester, A: Pavlos Petoumenos University of Manchester, A: John Goodacre University of Manchester DOI |