TP-DejaVu: Combining Operational and Declarative Runtime Verification
No abstract available.
Related papers
- The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier ICFP 2013
- Verified First-Order Monitoring with Recursive Rules TACAS 2022
- Declarative Stream Runtime Verification (hLola) APLAS 2020
- DéjàVu: a map of code duplicates on GitHub OOPSLA 2017
- Scalable and systematic detection of buggy inconsistencies in source code OOPSLA 2010
- Compiler-Runtime Co-operative Chain of Verification for LLM-Based Code Optimization CGO 2026
- Efficient parallel stencil convolution in Haskell Haskell 2011
- Shared subtypes: subtyping recursive parametrized algebraic data types Haskell 2008