act: Technical report
Programming Languages
2026-04-06 v1 Logic in Computer Science
Abstract
This technical report contains the formal definitions and metatheory for the act specification and verification language. It documents the syntax, the operational pointer semantics, the type system and the main metatheoretic results (type-safety).
Cite
@article{arxiv.2604.02955,
title = {act: Technical report},
author = {Zoe Paraskevopoulou and Anja Petković Komel and Sophie Rain and Lefteris Lazaropoulos and Alexis Terry},
journal= {arXiv preprint arXiv:2604.02955},
year = {2026}
}