Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
Gillian debugging: swinging through the (compositional symbolic execution) trees, extended version
File(s)
OA Location
Author(s)
Karmios, Nat
Ayoun, Sacha-Élie
Gardner, Philippa
Type
preprint
Date Issued
2026-02-08
Citation
arXiv, 2026
URI
URL
DOI
Journal / Book Title
arXiv
Copyright Statement
Copyright © 2026 The Author(s). This work is licensed under a Creative Commons Attribution 4.0 International License.
License URL
Description
Preprint version
Identifier
https://arxiv.org/abs/2602.07742v1
Subjects
cs.PL
cs.PL