Gheorghiu, Alexander V;
(2025)
The Mathematics of Double-checking Programs, in: Mathematics Today (Apr 2025).
[Digital scholarly resource].
https://ima.org.uk/publications/mathematics-today/
(In press).
![[thumbnail of Gheorghiu_2 Checking programs.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/text.png) |
Text
Gheorghiu_2 Checking programs.pdf Access restricted to UCL open access staff Download (106kB) |
| Type: | Digital scholarly resource |
|---|---|
| Title: | The Mathematics of Double-checking Programs, in: Mathematics Today (Apr 2025) |
| Publisher version: | https://ima.org.uk/publications/mathematics-today/ |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| Keywords: | Bunched Implications, Separation Logic, Program Verification |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10202642 |
Downloads since deposit
5Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
