Software Open Access
Atkinson, Eric; Carbin, Michael
{ "files": [ { "links": { "self": "https://zenodo.org/api/files/c42c3432-e2b5-4814-95ab-501d896890be/cblimp.zip" }, "checksum": "md5:6a7bda3466b0d95af93c9c8ec0852ac9", "bucket": "c42c3432-e2b5-4814-95ab-501d896890be", "key": "cblimp.zip", "type": "zip", "size": 19244 } ], "owners": [ 145468 ], "doi": "10.5281/zenodo.4088252", "stats": { "version_unique_downloads": 9.0, "unique_views": 82.0, "views": 87.0, "version_views": 87.0, "unique_downloads": 9.0, "version_unique_views": 82.0, "volume": 173196.0, "version_downloads": 9.0, "downloads": 9.0, "version_volume": 173196.0 }, "links": { "doi": "https://doi.org/10.5281/zenodo.4088252", "conceptdoi": "https://doi.org/10.5281/zenodo.4088251", "bucket": "https://zenodo.org/api/files/c42c3432-e2b5-4814-95ab-501d896890be", "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.4088251.svg", "html": "https://zenodo.org/record/4088252", "latest_html": "https://zenodo.org/record/4088252", "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.4088252.svg", "latest": "https://zenodo.org/api/records/4088252" }, "conceptdoi": "10.5281/zenodo.4088251", "created": "2020-10-14T13:23:23.403445+00:00", "updated": "2020-10-15T00:26:55.950606+00:00", "conceptrecid": "4088251", "revision": 2, "id": 4088252, "metadata": { "access_right_category": "success", "doi": "10.5281/zenodo.4088252", "description": "<p>This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial Observability".</p>", "license": { "id": "MIT" }, "title": "Artifact for \"Programming and Reasoning with Partial Observability\"", "relations": { "version": [ { "count": 1, "index": 0, "parent": { "pid_type": "recid", "pid_value": "4088251" }, "is_last": true, "last_child": { "pid_type": "recid", "pid_value": "4088252" } } ] }, "publication_date": "2020-10-14", "creators": [ { "affiliation": "MIT", "name": "Atkinson, Eric" }, { "affiliation": "MIT", "name": "Carbin, Michael" } ], "access_right": "open", "resource_type": { "type": "software", "title": "Software" }, "related_identifiers": [ { "scheme": "doi", "identifier": "10.1145/3428268", "relation": "isSupplementedBy", "resource_type": "publication-conferencepaper" }, { "scheme": "doi", "identifier": "10.5281/zenodo.4088251", "relation": "isVersionOf" } ] } }
All versions | This version | |
---|---|---|
Views | 87 | 87 |
Downloads | 9 | 9 |
Data volume | 173.2 kB | 173.2 kB |
Unique views | 82 | 82 |
Unique downloads | 9 | 9 |