Semantical Analysis of Specification Logic, 3: An Operational Approach
No abstract available.
Related papers
- A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios GPCE 2025
- A Logical Analysis of Framing for Specifications with Pure Method Calls TOPLAS 2018
- Semantics-based program verifiers for all languages OOPSLA 2016
- A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs TOPLAS 1993
- Modeling and analyzing evaluation cost of CUDA kernels POPL 2021
- Maintaining verified software Haskell 2013
- Logic of global synchrony TOPLAS 2004
- Verification of semantic commutativity conditions and inverse operations on linked data structures PLDI 2011