arXiv Open Access 2026

act: Technical report

Zoe Paraskevopoulou Anja Petković Komel Sophie Rain Lefteris Lazaropoulos Alexis Terry

Lihat Sumber

Abstrak

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).

Topik & Kata Kunci

cs.PL cs.LO

Penulis (5)

Zoe Paraskevopoulou

Anja Petković Komel

Sophie Rain

Lefteris Lazaropoulos

Alexis Terry

Format Sitasi

APA MLA BibTeX

Paraskevopoulou, Z., Komel, A.P., Rain, S., Lazaropoulos, L., Terry, A. (2026). act: Technical report. https://arxiv.org/abs/2604.02955

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2026
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓