Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design
No abstract available.
Related papers
- Lightweight family polymorphism JFP 2008
- Run your research: on the effectiveness of lightweight mechanization POPL 2012
- A Practical Escape and Effect Analysis for Building Lightweight Method Summaries CC 2007
- A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework ECOOP 2025
- StructSlim: a lightweight profiler to guide structure splitting CGO 2016
- A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust TOPLAS 2021
- ChiSA: Static Analysis for Lightweight Chisel Verification POPL 2026
- Lightweight Session Programming in Scala ECOOP 2016