Published March 17, 2026 | Version v1
Software Open

Notac interpreter and examples

Authors/Creators

  • 1. ROR icon Aalborg University
  • 2. EDMO icon Aarhus University

Description

This is in the artifact for the paper "The downgrading semantics of memory safety". See included README.md

Files

README.md

Files (981.2 MB)

Name Size
md5:e9d86785084835d99d26df3769b66edb
981.2 MB Download
md5:61275a80bb9818cb3814915d065c4a06
20.3 kB Preview Download