act: Technical report
Zoe Paraskevopoulou, Anja Petkovi\'c Komel, Sophie Rain, Lefteris Lazaropoulos, Alexis Terry
TL;DR
This technical report provides formal definitions, semantics, and type-safety results for the act specification and verification language.
Contribution
It introduces the syntax, operational semantics, and type system of act, along with key metatheoretic results.
Findings
Formal definitions and semantics of act language
Type-safety proof for act language
Documentation of main metatheoretic results
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).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.