There is a newer version of the record available.

Published April 28, 2023 | Version v1
Software Open

Artifact for "Ownership guided C to Rust translation"

Creators

  • 1. University of Bristol
  • 2. The Open University

Description

This archive contains the artifact for the CAV (Computer Aided Verification) 2023 paper "Ownership guided C to Rust translation".

Files

artifact.zip

Files (2.6 GB)

Name Size Download all
md5:7436500a8342131d252dbe866b09fab3
2.6 GB Preview Download