<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

RustBelt: Securing the Foundations of the Rust Programming Language -- Artifact

appsOther research productkeyboard_double_arrow_right Other ORP type 13 Dec 2017Publisher:ZenodoFunded by:EC | RustBelt

Authors: Jung, Ralf; Jacques-Henri Jourdan; Krebbers, Robbert; Dreyer, Derek;

doi: 10.5281/zenodo.1115560 , 10.5281/zenodo.1115559

RustBelt: Securing the Foundations of the Rust Programming Language -- Artifact

- Summary
- Related research
  (1)
- Metrics

Abstract

This is the artifact accompanying the POPL18 paper "RustBelt: Securing the Foundations of the Rust Programming Language". You can find the latest version of this artifact online at https://gitlab.mpi-sws.org/FP/LambdaRust-coq. This archive contains the `popl18` tag of the aforementioned repository in two forms: As a virtual machine, including all dependencies. You can import the LambdaRust-VM.ova into VirtualBox ("File -- Import Appliance"). After booting the machine, you will find further instructions in the README on the Desktop. As a tarball, excluding dependencies. You can extract LambdaRust-coq.tar.gz anywhere, and then follow the instructions in the README. Compiling lambdaRust this way requires opam to be set up on your system.

Related Organizations

Delft University of Technology
Netherlands
Max Planck Society
Germany

1 Research products, page of 1

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average