Computer science/Semantics and reasoning
Subject Classification
ACM: Theory of computation~Semantics and reasoning
AMS: Computer science / Theory of computing / Semantics in the theory of computing
2024
Extension of Stateful Intransitive Noninterference with Inputs, Outputs, and Nondeterminism in Language IMP
by Pasquale Noce
AutoCorres2
by Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch and Simon Wimmer
2023
HOL-CSPM - Architectural operators for HOL-CSP
by Benoît Ballenghien, Safouan Taha and Burkhart Wolff
2022
Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL
by Diego Marmsoler and Achim D. Brucker
2021
X86 instruction semantics and basic block symbolic execution
by Freek Verbeek, Abhijith Bharadwaj, Joshua Bockenek, Ian Roessle, Timmy Weerwag and Binoy Ravindran
2020
2019
Clean - An Abstract Imperative Programming Language and its Theory
by Frédéric Tuong and Burkhart Wolff
A Formal Development of a Polychronous Polytimed Coordination Language
by Hai Nguyen Van, Frédéric Boulanger and Burkhart Wolff
Quantum Hoare Logic
by Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan