Matches in Nanopublications for { ?s ?p ?o <https://w3id.org/np/RAX1rcQJRZC4cvwe8pQWtoMzTOCmt86PxTZD47O6sxdFU/assertion>. }
- 1629b99a-a623-4b21-be4f-427330e04c36 Lemma "object code" assertion.
- 1629b99a-a623-4b21-be4f-427330e04c36 Lemma "predicate" assertion.
- 1629b99a-a623-4b21-be4f-427330e04c36 NASA "engineering" assertion.
- 1629b99a-a623-4b21-be4f-427330e04c36 Phrase "construction algorithm" assertion.
- 1629b99a-a623-4b21-be4f-427330e04c36 Phrase "control flow" assertion.
- 1629b99a-a623-4b21-be4f-427330e04c36 Phrase "destruction algorithm" assertion.
- 1629b99a-a623-4b21-be4f-427330e04c36 Phrase "intermediate representations" assertion.
- 1629b99a-a623-4b21-be4f-427330e04c36 Phrase "value State Dependence graph" assertion.
- 1629b99a-a623-4b21-be4f-427330e04c36 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." assertion.
- 1629b99a-a623-4b21-be4f-427330e04c36 Sentence "We provide an algorithm for constructing RVSDGs in predicate continuation form, and propose a novel destruction algorithm for RVSDGs in this form." assertion.
- 1629b99a-a623-4b21-be4f-427330e04c36 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." assertion.
- 1629b99a-a623-4b21-be4f-427330e04c36 author mailto:nico.reissmann@rohub.com assertion.
- ae04627c-6abe-4bd2-bfff-9723fda5c0ef author mailto:georgehadib@gmail.com assertion.
- e66bae04-855e-43f6-b3e4-d948ce5900ba author mailto:georgehadib@gmail.com assertion.
- e66bae04-855e-43f6-b3e4-d948ce5900ba maintainer "Nico Reissmann" assertion.