Explicit Contexts for Substructural Systems ...
This artifact contains the Beluga mechanization for the paper submission Explicit Contexts for Substructural SystemsD. Zackon, R. Kavanagh, B. PientkaFORTE 2024, under review The artifact files are: cp_mech.tar.gz: the Beluga mechanization itself artifact.qcow2: a virtual machine containing the mech...
Main Authors: | , , |
---|---|
Format: | Article in Journal/Newspaper |
Language: | unknown |
Published: |
Zenodo
2024
|
Subjects: | |
Online Access: | https://dx.doi.org/10.5281/zenodo.10790750 https://zenodo.org/doi/10.5281/zenodo.10790750 |
Summary: | This artifact contains the Beluga mechanization for the paper submission Explicit Contexts for Substructural SystemsD. Zackon, R. Kavanagh, B. PientkaFORTE 2024, under review The artifact files are: cp_mech.tar.gz: the Beluga mechanization itself artifact.qcow2: a virtual machine containing the mechanization and a pre-installed copy of Beluga 1.1.1 The virtual machine can be run using QEMU. For example, the following command runs the VM with 4 gigabytes of memory, 4 CPUS, and allow the machine to be accessed over SSH on localhost port 60022 using username `artifact` and password `artifact`: qemu-system-amd64 -hda artifact.qcow2 -m 4G -smp 4 -nic user,hostfwd=tcp::60022-:22 ... |
---|