ReCheck: Automated Contextual Improvement Verifier for Functional Calculi across User-Defined Operational Semantics
Abstract elided by the publisher.
Related papers
- Safety of Nöcker's strictness analysis JFP 2008
- Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs CAV 2018
- Bisimilarity for a First-Order Calculus of Objects with Subtyping POPL 1996
- An abstract, certified account of operational game semantics ESOP 2025
- Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics Onward! 2025
- Automated reasoning for web page layout OOPSLA 2016
- On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control JFP 2019
- On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control ICFP 2017