{"status":"OK","data":{"id":67424,"identifier":"dans-zub-xac3","persistentUrl":"https://doi.org/10.17026/DANS-ZUB-XAC3","protocol":"doi","authority":"10.17026","separator":"/","publisher":"DANS Data Station Physical and Technical Sciences","publicationDate":"2020-07-23","storageIdentifier":"surf://10.17026/dans-zub-xac3","effectiveDatasetFileCountLimit":10000,"datasetFileUploadsAvailable":9962,"datasetType":"dataset","locks":[],"latestVersion":{"id":1102,"datasetId":67424,"datasetPersistentId":"doi:10.17026/DANS-ZUB-XAC3","datasetType":"dataset","storageIdentifier":"surf://10.17026/dans-zub-xac3","versionNumber":2,"internalVersionNumber":81,"versionMinorNumber":0,"versionState":"RELEASED","latestVersionPublishingState":"RELEASED","deaccessionLink":"","distributionDate":"2020-07-20","productionDate":"2020-01-01","lastUpdateTime":"2023-11-11T17:55:20Z","releaseTime":"2020-07-22T22:00:00Z","createTime":"2023-11-11T17:55:06Z","publicationDate":"2020-07-23","citationDate":"2020-07-23","effectiveDatasetFileCountLimit":10000,"datasetFileUploadsAvailable":9962,"license":{"name":"CC-BY-4.0","uri":"http://creativecommons.org/licenses/by/4.0","iconUri":"https://licensebuttons.net/l/by/4.0/88x31.png"},"termsOfAccess":"N/a","fileAccessRequest":false,"metadataBlocks":{"citation":{"displayName":"Citation Metadata","name":"citation","fields":[{"typeName":"title","multiple":false,"typeClass":"primitive","value":"Source code for the symbolic TopHat execution engine"},{"typeName":"otherId","multiple":true,"typeClass":"compound","value":[{"otherIdAgency":{"typeName":"otherIdAgency","multiple":false,"typeClass":"primitive","value":"DANS-KNAW"},"otherIdValue":{"typeName":"otherIdValue","multiple":false,"typeClass":"primitive","value":"easy-dataset:179266"}},{"otherIdValue":{"typeName":"otherIdValue","multiple":false,"typeClass":"primitive","value":"661158"}}]},{"typeName":"author","multiple":true,"typeClass":"compound","value":[{"authorName":{"typeName":"authorName","multiple":false,"typeClass":"primitive","value":"N. Naus"}},{"authorName":{"typeName":"authorName","multiple":false,"typeClass":"primitive","value":"T.J. Steenvoorden"},"authorAffiliation":{"typeName":"authorAffiliation","multiple":false,"typeClass":"primitive","value":"Radboud University"},"authorIdentifierScheme":{"typeName":"authorIdentifierScheme","multiple":false,"typeClass":"controlledVocabulary","value":"DAI"},"authorIdentifier":{"typeName":"authorIdentifier","multiple":false,"typeClass":"primitive","value":"info:eu-repo/dai/nl/428253318"}},{"authorName":{"typeName":"authorName","multiple":false,"typeClass":"primitive","value":"M.A.A. Klinik"},"authorAffiliation":{"typeName":"authorAffiliation","multiple":false,"typeClass":"primitive","value":"Radboud University"},"authorIdentifierScheme":{"typeName":"authorIdentifierScheme","multiple":false,"typeClass":"controlledVocabulary","value":"DAI"},"authorIdentifier":{"typeName":"authorIdentifier","multiple":false,"typeClass":"primitive","value":"info:eu-repo/dai/nl/428253210"}}]},{"typeName":"datasetContact","multiple":true,"typeClass":"compound","value":[{"datasetContactName":{"typeName":"datasetContactName","multiple":false,"typeClass":"primitive","value":"RU Radboud University"}}]},{"typeName":"dsDescription","multiple":true,"typeClass":"compound","value":[{"dsDescriptionValue":{"typeName":"dsDescriptionValue","multiple":false,"typeClass":"primitive","value":"

Source code accompanying the paper:

Naus, N., Steenvoorden, T.J. & Klinik, M.A.A. (2019). A symbolic execution semantics for TopHat. In J. Stutterheim (Ed.), IFL'19: The 31st Symposium on Implementationand Application of Functional Languages, National University of Singapore, 25th – 27th September 2019 (pp. 15-44). S.l.: ACM

DESCRIPTION
This repo contains a symbolic execution engine for [TopHat](https://github.com/timjs/tophat),
a formalisation of Task-Oriented Programming.
The code here is a deep embedding of the entire TopHat language,
including the underlying lambda calculus,
on which TopHat is built.

CONTENTS
- src: contains the source code of symbolic TopHat
- package.yaml, stack.yaml: project files for compiling with stack
- test: output of the Flight and Tax test workflows, see the paper for
documentation on them.
- More information on how to compile and run this program can be found in README.txt

SHORT SUMMARY
Task-Oriented Programming (TOP) is a programming paradigm that allows declarative specification of workflows. TOP is typically used in domains where functional correctness is essential, and where failure can have financial or strategical consequences. In this paper we aim to make formal verification of software written in TOP easier. Currently, only testing is used to verify that programs behave as intended. We use symbolic execution to guarantee that no aberrant behaviour can occur. In previous work we presented TopHat, a formal language that implements the core aspects of TOP. In this paper we develop a symbolic execution semantics for TopHat. Symbolic execution allows to prove that a given property holds for all possible execution paths of TopHat programs.

We show that the symbolic execution semantics is consistent with the original TopHat semantics, by proving soundness and completeness. We present an implementation of the symbolic execution semantics in Haskell. By running example programs, we validate our approach. This work represents a step forward in the formal verification of TOP software.

"}}]},{"typeName":"subject","multiple":true,"typeClass":"controlledVocabulary","value":["Computer and Information Science"]},{"typeName":"keyword","multiple":true,"typeClass":"compound","value":[{"keywordValue":{"typeName":"keywordValue","multiple":false,"typeClass":"primitive","value":"symbolic execution"}},{"keywordValue":{"typeName":"keywordValue","multiple":false,"typeClass":"primitive","value":"iTasks"}},{"keywordValue":{"typeName":"keywordValue","multiple":false,"typeClass":"primitive","value":"Task-Oriented Programming"}}]},{"typeName":"language","multiple":true,"typeClass":"controlledVocabulary","value":["English"]},{"typeName":"productionDate","multiple":false,"typeClass":"primitive","value":"2020-01-01"},{"typeName":"distributionDate","multiple":false,"typeClass":"primitive","value":"2020-07-20"},{"typeName":"dateOfDeposit","multiple":false,"typeClass":"primitive","value":"2020-07-23"}]},"dansRights":{"displayName":"Rights Metadata","name":"dansRights","fields":[{"typeName":"dansRightsHolder","multiple":true,"typeClass":"primitive","value":["Radboud University"]},{"typeName":"dansPersonalDataPresent","multiple":false,"typeClass":"controlledVocabulary","value":"Unknown"}]},"dansRelationMetadata":{"displayName":"Relation Metadata","name":"dansRelationMetadata","fields":[{"typeName":"dansAudience","multiple":true,"typeClass":"primitive","value":["https://www.narcis.nl/classification/D16000"],"expandedvalue":[{"@id":"https://www.narcis.nl/classification/D16000","termName":[{"lang":"en","value":"Computer science"},{"lang":"nl","value":"Informatica"}],"vocabularyUri":"https://www.narcis.nl/classification/"}]},{"typeName":"dansRelation","multiple":true,"typeClass":"compound","value":[{"dansRelationType":{"typeName":"dansRelationType","multiple":false,"typeClass":"controlledVocabulary","value":"relation"},"dansRelationText":{"typeName":"dansRelationText","multiple":false,"typeClass":"primitive","value":"Naus, N., Steenvoorden, T.J. & Klinik, M.A.A. (2019). A symbolic execution semantics for TopHat. In J. Stutterheim (Ed.), IFL'19: The 31st Symposium on Implementationand Application of Functional Languages, National University of Singapore, 25th – 27th September 2019 (pp. 15-44). S.l.: ACM"}}]}]},"dansDataVaultMetadata":{"displayName":"Data Vault Metadata","name":"dansDataVaultMetadata","fields":[{"typeName":"dansDataversePid","multiple":false,"typeClass":"primitive","value":"doi:10.17026/dans-zub-xac3"},{"typeName":"dansDataversePidVersion","multiple":false,"typeClass":"primitive","value":"2.0"},{"typeName":"dansBagId","multiple":false,"typeClass":"primitive","value":"urn:uuid:3969a974-1645-4ced-be6c-3d24f2dd7299"},{"typeName":"dansNbn","multiple":false,"typeClass":"primitive","value":"urn:nbn:nl:ui:13-a3-3s8c"}]}},"files":[{"description":"","label":"Class.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Control/Monad/Track","version":1,"datasetVersionId":1102,"dataFile":{"id":67445,"persistentId":"","filename":"Class.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1130,"description":"","storageIdentifier":"surf://store:18bbf85f647-b47297b7e8a6","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"62698149bd86c84056cb561104a1fc58ec9dc982"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Control/Monad/Track","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"DansDatasetMetadata.xml","restricted":false,"version":2,"datasetVersionId":1102,"dataFile":{"id":67426,"persistentId":"","filename":"DansDatasetMetadata.xml","contentType":"text/xml","friendlyType":"XML","filesize":4936,"description":"","storageIdentifier":"surf://store:18bbf85a886-142b29e0ffa2","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"3ebe0ffac9cca7b03eca6c96704932c77294dcda"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"DatasetContent.txt","restricted":false,"directoryLabel":"data","version":2,"datasetVersionId":1102,"dataFile":{"id":67428,"persistentId":"","filename":"DatasetContent.txt","contentType":"text/plain","friendlyType":"Plain Text","filesize":470,"description":"","storageIdentifier":"surf://store:18bbf85a96e-a2fe04e7598a","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"052a4710510013f828c8aa2f0e08891785a472a3"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"easy-migration.zip","restricted":false,"version":2,"datasetVersionId":1102,"dataFile":{"id":67429,"persistentId":"","filename":"easy-migration.zip","contentType":"application/zip","friendlyType":"ZIP Archive","filesize":34866,"description":"","storageIdentifier":"surf://store:18bbf85eae7-19481e172dd9","rootDataFileId":67425,"previousDataFileId":67425,"checksum":{"type":"SHA-1","value":"0bb3ea5e5963d1e2f06d8b129bac52c74f50a0f6"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Examples.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","version":1,"datasetVersionId":1102,"dataFile":{"id":67438,"persistentId":"","filename":"Examples.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":4836,"description":"","storageIdentifier":"surf://store:18bbf85f173-92b30fca7b2c","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"a0055e11fc27b02f8bde7968bbc33ad62ff59bdd"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Expr.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","version":1,"datasetVersionId":1102,"dataFile":{"id":67461,"persistentId":"","filename":"Expr.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":12948,"description":"","storageIdentifier":"surf://store:18bbf860157-6a135e7b9a9b","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"347336848b994c7464e08f28d146fe19ddab7858"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Flight.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat/Examples","version":1,"datasetVersionId":1102,"dataFile":{"id":67451,"persistentId":"","filename":"Flight.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":930,"description":"","storageIdentifier":"surf://store:18bbf85fa74-8fe10e703060","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"0709b91af98bdeb9ff1db86aafd715d79f756c7c"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat/Examples","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Flight-list.out","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/test","version":1,"datasetVersionId":1102,"dataFile":{"id":67440,"persistentId":"","filename":"Flight-list.out","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":148870,"description":"","storageIdentifier":"surf://store:18bbf85f2d5-2577606ba009","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"6b62c2936249fe062352b027af9bf90b9fc9ccff"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/test","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Flight.out","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/test","version":1,"datasetVersionId":1102,"dataFile":{"id":67449,"persistentId":"","filename":"Flight.out","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":634642,"description":"","storageIdentifier":"surf://store:18bbf85f90a-fc419a200cbd","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"76296049ac15ee46e716d45f6039be70599c43c4"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/test","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":".gitignore","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl","version":1,"datasetVersionId":1102,"dataFile":{"id":67452,"persistentId":"","filename":".gitignore","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":31,"description":"","storageIdentifier":"surf://store:18bbf85fb54-e36b0bf985af","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"d05dfa2a72e25e74c27974a3a10665ffbfb60d83"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Heap.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","version":1,"datasetVersionId":1102,"dataFile":{"id":67448,"persistentId":"","filename":"Heap.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":931,"description":"","storageIdentifier":"surf://store:18bbf85f893-3b66ee9e762f","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"8e9a21c85bd87ad524f8734a3562f8d7a47788ed"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Input.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","version":1,"datasetVersionId":1102,"dataFile":{"id":67435,"persistentId":"","filename":"Input.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":584,"description":"","storageIdentifier":"surf://store:18bbf85ef47-916517ae2f87","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"eb07bc6adbe086d10fd3ab17bbfc120ef2c9d504"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"LICENSE","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl","version":1,"datasetVersionId":1102,"dataFile":{"id":67437,"persistentId":"","filename":"LICENSE","contentType":"text/plain; charset=US-ASCII","friendlyType":"Plain Text","filesize":1529,"description":"","storageIdentifier":"surf://store:18bbf85f0f7-23b83a749635","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"95b138499f2b44ffbc2c0169c688b51eb99ba6e8"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Main.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src","version":1,"datasetVersionId":1102,"dataFile":{"id":67432,"persistentId":"","filename":"Main.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":279,"description":"","storageIdentifier":"surf://store:18bbf85ed82-92163c93984c","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"9bfeb5c045bb76fa512ba426e45f8463828d28e3"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Name.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","version":1,"datasetVersionId":1102,"dataFile":{"id":67453,"persistentId":"","filename":"Name.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":432,"description":"","storageIdentifier":"surf://store:18bbf85fbd0-204f3157fbb4","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"09125161c43bf8cf76ab46fea88f5b9ca99c9b71"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Op.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","version":1,"datasetVersionId":1102,"dataFile":{"id":67462,"persistentId":"","filename":"Op.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":4911,"description":"","storageIdentifier":"surf://store:18bbf86022f-1a4cebf5b752","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"d2912bb22dd22aa030f4c183620124efb588b136"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"package.yaml","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl","version":1,"datasetVersionId":1102,"dataFile":{"id":67454,"persistentId":"","filename":"package.yaml","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":2431,"description":"","storageIdentifier":"surf://store:18bbf85fcc2-07fb65e6db6b","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"0c89d21511b2a4e7370bb33d0453ab39ec776ef3"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Pred.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","version":1,"datasetVersionId":1102,"dataFile":{"id":67443,"persistentId":"","filename":"Pred.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":4020,"description":"","storageIdentifier":"surf://store:18bbf85f483-ebd86ea0520c","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"bce979a653088d7aabcf1398565c3dafa2bb82f0"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Prelude.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src","version":1,"datasetVersionId":1102,"dataFile":{"id":67459,"persistentId":"","filename":"Prelude.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":7537,"description":"","storageIdentifier":"surf://store:18bbf85ffff-ac77b70e976c","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"9ce34004d16a45e1509089935fc74495700b2445"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"README.txt","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl","version":1,"datasetVersionId":1102,"dataFile":{"id":67456,"persistentId":"","filename":"README.txt","contentType":"text/plain","friendlyType":"Plain Text","filesize":1275,"description":"","storageIdentifier":"surf://store:18bbf85fe21-653e20420c90","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"4d886464bb79cdc926da8ab4f1831a9abcaf5b3e"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":".README.txt.swp","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl","version":1,"datasetVersionId":1102,"dataFile":{"id":67434,"persistentId":"","filename":".README.txt.swp","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":12288,"description":"","storageIdentifier":"surf://store:18bbf85eedd-bc926df8cc84","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"e8ec7bae2bd10a4eb41e45fc5436130d45e5d693"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Root.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Control/Monad","version":1,"datasetVersionId":1102,"dataFile":{"id":67439,"persistentId":"","filename":"Root.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1584,"description":"","storageIdentifier":"surf://store:18bbf85f259-82ded30a4252","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"9fa26dbce0aec020b55abf9ce8f343dfd67fe4a6"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Control/Monad","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Root.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Data","version":1,"datasetVersionId":1102,"dataFile":{"id":67457,"persistentId":"","filename":"Root.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":2254,"description":"","storageIdentifier":"surf://store:18bbf85fea8-0026c2460f2a","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"28278e43aacefd93b7c2b8e7253fa0940917c09e"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Data","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Run.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat/Expr","version":1,"datasetVersionId":1102,"dataFile":{"id":67441,"persistentId":"","filename":"Run.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1377,"description":"","storageIdentifier":"surf://store:18bbf85f3af-ba1ed4bbff9c","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"a2456ce4979a1ba772dcac251073d586bc382a93"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat/Expr","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Setup.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl","version":1,"datasetVersionId":1102,"dataFile":{"id":67433,"persistentId":"","filename":"Setup.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":46,"description":"","storageIdentifier":"surf://store:18bbf85edef-3f64afc6d201","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"807b6f470a6f9db5c25f845e2b642a1056c2d18a"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Sim.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat/Expr","version":1,"datasetVersionId":1102,"dataFile":{"id":67444,"persistentId":"","filename":"Sim.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":10585,"description":"","storageIdentifier":"surf://store:18bbf85f5d5-674b72a13ab2","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"d86660835057d72a19d093a896c2fe8f088c299f"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat/Expr","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Some.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Data","version":1,"datasetVersionId":1102,"dataFile":{"id":67431,"persistentId":"","filename":"Some.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1159,"description":"","storageIdentifier":"surf://store:18bbf85ec20-6b0d15566cd4","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"26c009ed5933c90df0616efe72d1f0079b2aef16"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Data","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"stack.yaml","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl","version":1,"datasetVersionId":1102,"dataFile":{"id":67458,"persistentId":"","filename":"stack.yaml","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":2183,"description":"","storageIdentifier":"surf://store:18bbf85ff81-596444b3da77","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"01f496f6d96f74b1c071d7528b767284efb2d5c6"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Supply.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Control/Monad","version":1,"datasetVersionId":1102,"dataFile":{"id":67446,"persistentId":"","filename":"Supply.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":2791,"description":"","storageIdentifier":"surf://store:18bbf85f731-1865e64c17cb","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"e1d97c82838ef717e399c83177436850d646d9b4"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Control/Monad","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"symbolic-tophat.cabal","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl","version":1,"datasetVersionId":1102,"dataFile":{"id":67430,"persistentId":"","filename":"symbolic-tophat.cabal","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":4124,"description":"","storageIdentifier":"surf://store:18bbf85ebb3-6a3151f97e0f","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"22efd1be76735312ba86cc910154b0eaca4fcea7"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Tax.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat/Examples","version":1,"datasetVersionId":1102,"dataFile":{"id":67442,"persistentId":"","filename":"Tax.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1905,"description":"","storageIdentifier":"surf://store:18bbf85f418-2596a84314fe","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"35d2a8da244705d1df69cbd86f37d4ed4102274e"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat/Examples","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Tax-list.out","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/test","version":1,"datasetVersionId":1102,"dataFile":{"id":67436,"persistentId":"","filename":"Tax-list.out","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":186321,"description":"","storageIdentifier":"surf://store:18bbf85efb1-e636789a6a75","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"b0a492782387793afa9e38a63adcf7262d36e7dc"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/test","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Tax.out","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/test","version":1,"datasetVersionId":1102,"dataFile":{"id":67450,"persistentId":"","filename":"Tax.out","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":3999,"description":"","storageIdentifier":"surf://store:18bbf85f9fa-50698ad0fc11","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"46d71b8f428dfab3e445bcbabb9f3c0c37912ddb"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/test","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Type.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","version":1,"datasetVersionId":1102,"dataFile":{"id":67455,"persistentId":"","filename":"Type.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":2411,"description":"","storageIdentifier":"surf://store:18bbf85fd49-c03cfe372b16","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"b41e34a81619e3342b65e9649301f2eba33ae539"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Universe.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Data","version":1,"datasetVersionId":1102,"dataFile":{"id":67460,"persistentId":"","filename":"Universe.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":1168,"description":"","storageIdentifier":"surf://store:18bbf8600ce-8d59d94cccbc","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"31859d7437ae87daaf3754345a4ec4dc728b1734"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Data","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}},{"description":"","label":"Val.hs","restricted":false,"directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","version":1,"datasetVersionId":1102,"dataFile":{"id":67447,"persistentId":"","filename":"Val.hs","contentType":"application/octet-stream","friendlyType":"Unknown","filesize":7419,"description":"","storageIdentifier":"surf://store:18bbf85f7c7-c1ff3980da46","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"2c5c258d0b2f6fd7c0a250557cfd8499f4146ff0"},"tabularData":false,"creationDate":"2023-11-11","publicationDate":"2020-07-23","directoryLabel":"data/symbolic-tophat-haskell-ifl/src/Tophat","lastUpdateTime":"2023-11-11T17:55:20Z","fileAccessRequest":false}}]}}}