Quasi-Borel Spaces
by Michikazu Hirata, Yasuhiko Minamide and Tetsuya Sato
Computer Science/Semantics
2022
2021
X86 instruction semantics and basic block symbolic execution
by Freek Verbeek, Abhijith Bharadwaj, Joshua Bockenek, Ian Roessle, Timmy Weerwag and Binoy Ravindran
2020
The HOL-CSP Refinement Toolkit
by Safouan Taha, Burkhart Wolff and Lina Ye
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
HOL-CSP Version 2.0
by Safouan Taha, Lina Ye and Burkhart Wolff
Quantum Hoare Logic
by Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying and Naijun Zhan
2018
2013
The Correctness of Launchbury's Natural Semantics for Lazy Evaluation
by Joachim Breitner