act: Technical report
arXiv:2604.029551.1
Predicted impact top 88% in PL · last 90 daysOriginality Synthesis-oriented
AI Analysis
This work provides a foundational framework for verifying software systems, but it is incremental as it builds on existing specification language concepts.
The authors formalized the act specification and verification language by defining its syntax, operational pointer semantics, type system, and proving type-safety as the main metatheoretic result.
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).