Polaris: A Separation Logic For Concurrent Randomized Programs

This is the archived artifact associated with the paper " A Separation Logic for Concurrent Randomized Programs" by Joseph Tassarotti and Robert Harper. The artifact is available as both the raw source (polaris.tar) or as a virtual machine with all files and dependencies pre-built. When booting into the virtual machine, the folder "polaris" on the desktop contains the built source. Continued development of this software occurs at https://github.com/jtassarotti/polaris

Tags
Data and Resources
To access the resources you must log in

This item has no data

Identity

Description: The Identity category includes attributes that support the identification of the resource.

Field Value
PID https://www.doi.org/10.5281/zenodo.1481956
PID https://www.doi.org/10.5281/zenodo.1481957
URL http://dx.doi.org/10.5281/zenodo.1481957
URL https://zenodo.org/record/1481957
URL http://dx.doi.org/10.5281/zenodo.1481956
URL https://figshare.com/articles/Polaris_A_Separation_Logic_for_Concurrent_Randomized_Programs/7324445
Access Modality

Description: The Access Modality category includes attributes that report the modality of exploitation of the resource.

Field Value
Access Right Open Source
Attribution

Description: Authorships and contributors

Field Value
Author Tassarotti, Joseph
Author Harper, Robert
Publishing

Description: Attributes about the publishing venue (e.g. journal) and deposit location (e.g. repository)

Field Value
Collected From Zenodo; Datacite; figshare
Hosted By Zenodo; figshare
Publication Date 2018-11-09
Publisher Zenodo
Additional Info
Field Value
Language UNKNOWN
Resource Type Software
system:type software
Management Info
Field Value
Source https://science-innovation-policy.openaire.eu/search/software?softwareId=dedup_wf_001::8084edcb3e68facea44efff339b58b99
Author jsonws_user
Last Updated 17 December 2020, 16:38 (CET)
Created 17 December 2020, 16:38 (CET)