Runtime Instrumentation for Reactive Components
No abstract available.
Related papers
- Instrumentation of standard libraries in object-oriented languages: the twin class hierarchy approach OOPSLA 2004
- Demo outline: switched-on yampa Haskell 2007
- OpenCilk: A Modular and Extensible Software Infrastructure for Fast Task-Parallel Code PPoPP 2023
- Fault-tolerant functional reactive programming (extended version) JFP 2020
- Runtime Enforcement of Security Policies on Black Box Reactive Programs POPL 2015
- Shield Synthesis: - Runtime Enforcement for Reactive Systems TACAS 2015
- Practical Runtime Instrumentation of Software Languages: The Case of SciHook SLE 2023
- Runtime verification and validation of functional reactive systems JFP 2020