act: Technical report
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913001493233664 |
|---|---|
| author | Paraskevopoulou, Zoe Komel, Anja Petković Rain, Sophie Lazaropoulos, Lefteris Terry, Alexis |
| author_facet | Paraskevopoulou, Zoe Komel, Anja Petković Rain, Sophie Lazaropoulos, Lefteris Terry, Alexis |
| contents | 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). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_02955 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | act: Technical report Paraskevopoulou, Zoe Komel, Anja Petković Rain, Sophie Lazaropoulos, Lefteris Terry, Alexis Programming Languages Logic in Computer Science 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). |
| title | act: Technical report |
| topic | Programming Languages Logic in Computer Science |
| url | https://arxiv.org/abs/2604.02955 |