Model Checking of macro Processes
Abstract elided by the publisher.
Related papers
- Optimizing Symbolic Model Checking for Constraint-Rich Models CAV 1999
- Type systems as macros POPL 2017
- Programmable Syntax Macros PLDI 1993
- Dynamic detection of object capability violations through model checking DLS 2014
- Mentat: An Object-Oriented Macro Data Flow System OOPSLA 1987
- Hygienic macro technology HOPL 2020
- Liquid proof macros Haskell 2022
- Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts JFP 2012