https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/Head https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/assertion https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/provenance https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/pubinfo https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/assertion http://eurovoc.europa.eu/1835 http://schema.org/description http://eurovoc.europa.eu/1835 http://schema.org/name Mathematics http://eurovoc.europa.eu/1835 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://schema.org/DefinedTerm http://eurovoc.europa.eu/3925 http://schema.org/description http://eurovoc.europa.eu/3925 http://schema.org/name Information science http://eurovoc.europa.eu/3925 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://schema.org/DefinedTerm https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/#enrichment_service-account-enrichment http://schema.org/name service-account-enrichment https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/#enrichment_service-account-enrichment http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Agent https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/about http://eurovoc.europa.eu/1835 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/about http://eurovoc.europa.eu/3925 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/author mailto:nico.reissmann@rohub.com https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/contentSize 10521 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/contentUrl https://api.rohub.org/api/ros/1629b99a-a623-4b21-be4f-427330e04c36/crate/download/ https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/creator mailto:georgehadib@gmail.com https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/dateCreated 2022-03-22 00:54:16.326344+00:00 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/dateModified 2025-03-05 01:14:06.760794+00:00 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/datePublished 2022-03-22 00:54:16.326344+00:00 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/description Demand-based dependence graphs (DDGs), such as the (Regionalized) Value State Dependence Graph ((R)VSDG), are intermediate representations (IRs) well suited for a wide range of program transformations. They explicitly model the flow of data and state, and only implicitly represent a restricted form of control flow. These features make DDGs especially suitable for automatic parallelization and vectorization, but cannot be leveraged by practical compilers without efficient construction and destruction algorithms. Construction algorithms remodel the arbitrarily complex control flow of a procedure to make it amenable to DDG representation, whereas destruction algorithms reestablish control flow for generating efficient object code. Existing literature presents solutions to both problems, but these impose structural constraints on the generatable control flow, and omit qualitative evaluation. The key contribution of this article is to show that there is no intrinsic structural limitation in the control flow directly extractable from RVSDGs. This fundamental result originates from an interpretation of loop repetition and decision predicates as computed continuations, leading to the introduction of the predicate continuation normal form. We provide an algorithm for constructing RVSDGs in predicate continuation form, and propose a novel destruction algorithm for RVSDGs in this form. Our destruction algorithm can generate arbitrarily complex control flow; we show this by proving that the original CFG an RVSDG was derived from can, apart from overspecific detail, be reconstructed perfectly. Additionally, we prove termination and correctness of these algorithms. Furthermore, we empirically evaluate the performance, the representational overhead at compile time, and the reduction in branch instructions compared to existing solutions. In contrast to previous work, our algorithms impose no additional overhead on the control flow of the produced object code. To our knowledge, this is the first scheme that allows the original control flow of a procedure to be recovered from a DDG representation. This dataset contains the python implementation the experiments in the paper were conducted with as well as the extracted CFGs from the SPEC2006 benchmarks. It also contains the scripts for creating the plots of the paper. https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/encodingFormat application/ld+json https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/hasPart https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/2c6cb478-a2ed-4d78-a876-ca5597a4eeb7 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/hasPart https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/58632ef7-2917-48ed-a143-4c73bc3d1e49 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/hasPart https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/69ea857f-a29d-4b64-8e34-ebb019e7aad2 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/hasPart https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/c16de708-c318-4617-ae9c-1a59a3a19e9f https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/identifier https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/license https://choosealicense.com/no-permission/ https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://schema.org/name Perfect Reconstructability of Control Flow from Demand Dependence Graphs https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro-id/rohub/model#creation_mode MANUAL https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Concept Python https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Concept algorithm https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Concept control condition https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Concept dataset https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Concept destruction https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Concept graph https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Concept object code https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Concept sequel https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Concept subroutine https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Concept verb phrase https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#FieldOfResearch earth sciences https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#IPTC Literature https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#IPTC Politics https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Lemma Dependence https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Lemma RVSDGs https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Lemma algorithm https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Lemma control https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Lemma destruction https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Lemma object code https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Lemma predicate https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#NASA engineering https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Phrase construction algorithm https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Phrase control flow https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Phrase destruction algorithm https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Phrase intermediate representations https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Phrase value State Dependence graph https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Sentence Construction algorithms remodel the arbitrarily complex control flow of a procedure to make it amenable to DDG representation, whereas destruction algorithms reestablish control flow for generating efficient object code. https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Sentence Demand-based dependence graphs (DDGs) such as the (Regionalized) Value State Dependence Graph (R)VSDG) are intermediate representations (IRs) well suited for a wide range of program transformations. https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://w3id.org/ro/earth-science#Sentence We provide an algorithm for constructing RVSDGs in predicate continuation form, and propose a novel destruction algorithm for RVSDGs in this form. https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/wf4ever/ro#ResearchObject https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/wf4ever/roevo#LiveRO https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://schema.org/Dataset https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://w3id.org/ro/earth-science#DataResearchObject https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/ro/terms/earth-science#DataResearchObject https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ https://w3id.org/contentdesc#Domain computer programming https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ https://w3id.org/contentdesc#Domain computer science https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ https://w3id.org/contentdesc#Domain mathematics https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ https://w3id.org/contentdesc#Domain scientific terms https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ https://www.w3.org/ns/iana/link-relations/relation#cite-as Nico Reissmann. "Perfect Reconstructability of Control Flow from Demand Dependence Graphs." ROHub. Mar 22 ,2022. https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36. https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/2c6cb478-a2ed-4d78-a876-ca5597a4eeb7 http://schema.org/name metadata https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/2c6cb478-a2ed-4d78-a876-ca5597a4eeb7 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/wf4ever/wf4ever#Folder https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/2c6cb478-a2ed-4d78-a876-ca5597a4eeb7 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://schema.org/Dataset https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/58632ef7-2917-48ed-a143-4c73bc3d1e49 http://schema.org/name raw data https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/58632ef7-2917-48ed-a143-4c73bc3d1e49 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/wf4ever/wf4ever#Folder https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/58632ef7-2917-48ed-a143-4c73bc3d1e49 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://schema.org/Dataset https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/69ea857f-a29d-4b64-8e34-ebb019e7aad2 http://schema.org/hasPart https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/ae04627c-6abe-4bd2-bfff-9723fda5c0ef https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/69ea857f-a29d-4b64-8e34-ebb019e7aad2 http://schema.org/name biblio https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/69ea857f-a29d-4b64-8e34-ebb019e7aad2 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/wf4ever/wf4ever#Folder https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/69ea857f-a29d-4b64-8e34-ebb019e7aad2 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://schema.org/Dataset https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/c16de708-c318-4617-ae9c-1a59a3a19e9f http://schema.org/hasPart https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/c16de708-c318-4617-ae9c-1a59a3a19e9f http://schema.org/name data https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/c16de708-c318-4617-ae9c-1a59a3a19e9f http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/wf4ever/wf4ever#Folder https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/folders/c16de708-c318-4617-ae9c-1a59a3a19e9f http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://schema.org/Dataset https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/ae04627c-6abe-4bd2-bfff-9723fda5c0ef http://schema.org/author mailto:georgehadib@gmail.com https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/ae04627c-6abe-4bd2-bfff-9723fda5c0ef http://schema.org/contentUrl https://doi.org/10.1145/2693261 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/ae04627c-6abe-4bd2-bfff-9723fda5c0ef http://schema.org/creator mailto:georgehadib@gmail.com https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/ae04627c-6abe-4bd2-bfff-9723fda5c0ef http://schema.org/dateCreated 2022-03-22 00:54:25.569088+00:00 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/ae04627c-6abe-4bd2-bfff-9723fda5c0ef http://schema.org/dateModified 2022-03-22 00:54:25.692521+00:00 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/ae04627c-6abe-4bd2-bfff-9723fda5c0ef http://schema.org/license https://choosealicense.com/no-permission/ https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/ae04627c-6abe-4bd2-bfff-9723fda5c0ef http://schema.org/name https://doi.org/10.1145/2693261 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/ae04627c-6abe-4bd2-bfff-9723fda5c0ef http://schema.org/sdDatePublished 2022-03-22 00:54:25.569088+00:00 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/ae04627c-6abe-4bd2-bfff-9723fda5c0ef http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/dc/terms/BibliographicResource https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/ae04627c-6abe-4bd2-bfff-9723fda5c0ef http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/wf4ever/wf4ever#Resource https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/ae04627c-6abe-4bd2-bfff-9723fda5c0ef http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://schema.org/MediaObject https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://purl.org/dc/terms/bibliographicCitation Reissmann, N. (2015).Perfect Reconstructability of Control Flow from Demand Dependence Graphs [Data set]. Norstore. https://doi.org/10.11582/2015.00010 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://purl.org/dc/terms/rightsHolder Nico Reissmann https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://purl.org/dc/terms/type Experiment https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://schema.org/author mailto:georgehadib@gmail.com https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://schema.org/contentUrl https://archive.sigma2.no/pages/public/datasetDetail.jsf?id=10.11582/2015.00010 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://schema.org/creator mailto:georgehadib@gmail.com https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://schema.org/dateCreated 2015-03-24 00:00:00 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://schema.org/dateModified 2022-03-22 00:54:27.848176+00:00 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://schema.org/description Demand-based dependence graphs (DDGs), such as the (Regionalized) Value State Dependence Graph ((R)VSDG), are intermediate representations (IRs) well suited for a wide range of program transformations. They explicitly model the flow of data and state, and only implicitly represent a restricted form of control flow. These features make DDGs especially suitable for automatic parallelization and vectorization, but cannot be leveraged by practical compilers without efficient construction and destruction algorithms. Construction algorithms remodel the arbitrarily complex control flow of a procedure to make it amenable to DDG representation, whereas destruction algorithms reestablish control flow for generating efficient object code. Existing literature presents solutions to both problems, but these impose structural constraints on the generatable control flow, and omit qualitative evaluation. The key contribution of this article is to show that there is no intrinsic structural limitation in the control flow directly extractable from RVSDGs. This fundamental result originates from an interpretation of loop repetition and decision predicates as computed continuations, leading to the introduction of the predicate continuation normal form. We provide an algorithm for constructing RVSDGs in predicate continuation form, and propose a novel destruction algorithm for RVSDGs in this form. Our destruction algorithm can generate arbitrarily complex control flow; we show this by proving that the original CFG an RVSDG was derived from can, apart from overspecific detail, be reconstructed perfectly. Additionally, we prove termination and correctness of these algorithms. Furthermore, we empirically evaluate the performance, the representational overhead at compile time, and the reduction in branch instructions compared to existing solutions. In contrast to previous work, our algorithms impose no additional overhead on the control flow of the produced object code. To our knowledge, this is the first scheme that allows the original control flow of a procedure to be recovered from a DDG representation. This dataset contains the python implementation the experiments in the paper were conducted with as well as the extracted CFGs from the SPEC2006 benchmarks. It also contains the scripts for creating the plots of the paper. https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://schema.org/license https://choosealicense.com/no-permission/ https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://schema.org/name Perfect Reconstructability of Control Flow from Demand Dependence Graphs https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://schema.org/sdDatePublished 2015-03-24 00:00:00 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/wf4ever/wf4ever#Dataset https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/wf4ever/wf4ever#Resource https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://schema.org/MediaObject https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/resources/e66bae04-855e-43f6-b3e4-d948ce5900ba https://schema.org/maintainer Nico Reissmann https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ro-crate-metadata.json http://purl.org/dc/terms/conformsTo https://w3id.org/ro/crate/1.1 https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ro-crate-metadata.json http://schema.org/about https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ro-crate-metadata.json http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://schema.org/CreativeWork mailto:georgehadib@gmail.com http://schema.org/name Geo H. mailto:georgehadib@gmail.com http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Agent mailto:nico.reissmann@rohub.com http://schema.org/email nico.reissmann@rohub.com mailto:nico.reissmann@rohub.com http://schema.org/name Nico Reissmann mailto:nico.reissmann@rohub.com http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Agent https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/provenance https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://api.rohub.org/api/ros/1629b99a-a623-4b21-be4f-427330e04c36/crate/download/ro-crate-metadata.json https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/pubinfo https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU http://purl.org/dc/terms/created 2026-03-03T16:17:41.767+01:00 https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU http://purl.org/dc/terms/creator https://w3id.org/kpxl/gen/terms/RoCrateBot https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU http://purl.org/nanopub/x/introduces https://w3id.org/ro-id/1629b99a-a623-4b21-be4f-427330e04c36/ https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/nanopub/x/RoCrateNanopub https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU http://www.w3.org/2000/01/rdf-schema#label Perfect Reconstructability of Control Flow from Demand Dependence Graphs https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxszSDYX5tuCSkP7UiCtftYPFNQVTjgNu0I5fwdML2DLRDlp0xzmsQXRk8oHuvwGvG1aMjj6cpUqO+0rz2Sg/wvHOgUpkRH8VJXvmlkhafMLCMtUtk5JIx7e+fkzCby+fnmD7kMkGLrT+OaExWwEDmNlCAt0TPKcHSdwsjso2isXjtAsGevyCMke8ufnFYpjs746JES1eNzVnHnn2Kp/lqcm60GM+J8dLgRZp7fX0anW098xhKym6+xXFzqeju0vYRIHBPerv+r7skWxwk+a7Sd8msqVeYEv6NTqnyWvyWb6Yh8cvj04N6qm/T6C5FUPLQhzSaQgMVMU6yLqjPuu9DwIDAQAB https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/sig http://purl.org/nanopub/x/hasSignature a4QGsggLy5gC4RBHzRy6QtZvG5tDxgSlCZKztS7k0gjcbD/acbzv9gx8kp+IJjYeAv2e8eYyyWa9NuZBVyGZXsqBDV1NK8ldx0w6BLjEvABH6W+S/omtZJ7uju6quvreJycWiSk6kFZSiJHu+hL4lRm/kCHmnUZa236gjVs4OkBZQcQj9LCUaX5t/1H/3ykHzhrq/9691dZTDJH6wkXUan9MsC1+Aa1jy6KqBLRmrJj55023GJgMcJKfprVnUJryaEas5py25IObgPTlQ9OtMsDfftJqk6JYIQtaPdccsqp78fy6CoRhKsa8RAU3Ohfslju6AffDD3iycRTfeUfryA== https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/sig http://purl.org/nanopub/x/signedBy https://w3id.org/kpxl/gen/terms/RoCrateBot