Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation
No abstract available.
DOI 10.1007/3-540-49727-7_10
Related papers
- Intrinsically-typed definitional interpreters for linear, session-typed languages CPP 2020
- An abstract interpretation framework for termination POPL 2012
- CCAL: An interpreted language for experimentation in concurrent control PLDI 1987
- A verified packrat parser interpreter for parsing expression grammars CPP 2020
- Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints POPL 1977
- Automatic Verification of Erlang-Style Concurrency SAS 2013
- Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR CPP 2025
- The Concurrent Logic Programming Language CP: Definition and Operational Semantics POPL 1987