CASL: From Semantics to Tools
No abstract available.
Related papers
- Semantics-Directed Program Analysis: A Tool-Maker's Perspective SAS 1996
- Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses SAS 2001
- SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs CAV 2012
- Cerberus-BMC: A Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C CAV 2019
- Analysing the Kconfig semantics and its analysis tools GPCE 2015
- The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems TOPLAS 1993
- Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory Programming Onward! 2024
- Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) ICFP 2023