CPP21 Artifact - Machine-Checked Semantic Session Typing

  • jonas Kastberg Hinrichsen (Ophavsmand)

Data set

Beskrivelse

This is the artifact corresponding to the CPP21 paper "Machine-Checked Semantic Session Typing" by Jonas Kastberg Hinrichsen, Daniël Louwrink, Robbert Krebbers, and Jesper Bengtson. The latest version of the artifact can be obtained online at https://gitlab.mpi-sws.org/iris/actris. The semantic session type system is a part of the Actris repository and thus the artifact includes both. The artifact is provided in two forms: - As a virtual machine, including all dependencies. You can import the `cpp_vm.ova` into VirtualBox ("File -- Import Appliance"). After starting the machine, additional instructions can be found in the `README` file on the Desktop. The VM supports both Emacs and CoqIDE - As a tarball of source file, including the Iris dependency repositories. You can extract `cpp_coq.tar.gz` anywhere, and then follow the instructions in the `README.md` file. The artifact has been tested with VirtualBox version 6.1, which can be downloaded for all major platforms from [virtualbox.org](https://www.virtualbox.org/wiki/Downloads) Login information Username: actris Password: password Admin password: admin
Dato for tilgængelighed15 dec. 2020
ForlagZENODO

Citationsformater