Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898267029> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2898267029 endingPage "380" @default.
- W2898267029 startingPage "365" @default.
- W2898267029 abstract "Deductive program verification can be used effectively to verify high-level programs, but can be challenging for low-level, high-performance code. In this paper, we argue that compilation and program transformations should be made annotation-aware, i.e. during compilation and program transformation, not only the code should be changed, but also the corresponding annotations. As a result, if the original high-level program could be verified, also the resulting low-level program can be verified. We illustrate this approach on a concrete case, where loop annotations that capture possible loop parallelisations are translated into specifications of an OpenCL kernel that corresponds to the parallel loop. We also sketch how several commonly used OpenCL kernel transformations can be adapted to also transform the corresponding program annotations. Finally, we conclude the paper with a list of research challenges that need to be addressed to further develop this approach." @default.
- W2898267029 created "2018-11-02" @default.
- W2898267029 creator A5022557918 @default.
- W2898267029 creator A5045181048 @default.
- W2898267029 creator A5065529908 @default.
- W2898267029 creator A5083632513 @default.
- W2898267029 date "2018-01-01" @default.
- W2898267029 modified "2023-09-24" @default.
- W2898267029 title "Program Correctness by Transformation" @default.
- W2898267029 cites W1002779697 @default.
- W2898267029 cites W1533529458 @default.
- W2898267029 cites W175195251 @default.
- W2898267029 cites W1944488069 @default.
- W2898267029 cites W1968391520 @default.
- W2898267029 cites W206408101 @default.
- W2898267029 cites W2131747807 @default.
- W2898267029 cites W2596377803 @default.
- W2898267029 cites W2604335042 @default.
- W2898267029 cites W2746792245 @default.
- W2898267029 cites W3006363542 @default.
- W2898267029 cites W3121786935 @default.
- W2898267029 cites W4239797127 @default.
- W2898267029 cites W4245729501 @default.
- W2898267029 doi "https://doi.org/10.1007/978-3-030-03418-4_22" @default.
- W2898267029 hasPublicationYear "2018" @default.
- W2898267029 type Work @default.
- W2898267029 sameAs 2898267029 @default.
- W2898267029 citedByCount "4" @default.
- W2898267029 countsByYear W28982670292018 @default.
- W2898267029 countsByYear W28982670292022 @default.
- W2898267029 countsByYear W28982670292023 @default.
- W2898267029 crossrefType "book-chapter" @default.
- W2898267029 hasAuthorship W2898267029A5022557918 @default.
- W2898267029 hasAuthorship W2898267029A5045181048 @default.
- W2898267029 hasAuthorship W2898267029A5065529908 @default.
- W2898267029 hasAuthorship W2898267029A5083632513 @default.
- W2898267029 hasBestOaLocation W28982670292 @default.
- W2898267029 hasConcept C104317684 @default.
- W2898267029 hasConcept C11413529 @default.
- W2898267029 hasConcept C114614502 @default.
- W2898267029 hasConcept C173608175 @default.
- W2898267029 hasConcept C177264268 @default.
- W2898267029 hasConcept C184670325 @default.
- W2898267029 hasConcept C185592680 @default.
- W2898267029 hasConcept C199360897 @default.
- W2898267029 hasConcept C204241405 @default.
- W2898267029 hasConcept C2776760102 @default.
- W2898267029 hasConcept C2776937632 @default.
- W2898267029 hasConcept C2778361913 @default.
- W2898267029 hasConcept C2779231336 @default.
- W2898267029 hasConcept C33923547 @default.
- W2898267029 hasConcept C41008148 @default.
- W2898267029 hasConcept C55439883 @default.
- W2898267029 hasConcept C55493867 @default.
- W2898267029 hasConcept C74193536 @default.
- W2898267029 hasConcept C98183937 @default.
- W2898267029 hasConceptScore W2898267029C104317684 @default.
- W2898267029 hasConceptScore W2898267029C11413529 @default.
- W2898267029 hasConceptScore W2898267029C114614502 @default.
- W2898267029 hasConceptScore W2898267029C173608175 @default.
- W2898267029 hasConceptScore W2898267029C177264268 @default.
- W2898267029 hasConceptScore W2898267029C184670325 @default.
- W2898267029 hasConceptScore W2898267029C185592680 @default.
- W2898267029 hasConceptScore W2898267029C199360897 @default.
- W2898267029 hasConceptScore W2898267029C204241405 @default.
- W2898267029 hasConceptScore W2898267029C2776760102 @default.
- W2898267029 hasConceptScore W2898267029C2776937632 @default.
- W2898267029 hasConceptScore W2898267029C2778361913 @default.
- W2898267029 hasConceptScore W2898267029C2779231336 @default.
- W2898267029 hasConceptScore W2898267029C33923547 @default.
- W2898267029 hasConceptScore W2898267029C41008148 @default.
- W2898267029 hasConceptScore W2898267029C55439883 @default.
- W2898267029 hasConceptScore W2898267029C55493867 @default.
- W2898267029 hasConceptScore W2898267029C74193536 @default.
- W2898267029 hasConceptScore W2898267029C98183937 @default.
- W2898267029 hasLocation W28982670291 @default.
- W2898267029 hasLocation W28982670292 @default.
- W2898267029 hasOpenAccess W2898267029 @default.
- W2898267029 hasPrimaryLocation W28982670291 @default.
- W2898267029 hasRelatedWork W1504483725 @default.
- W2898267029 hasRelatedWork W1596917824 @default.
- W2898267029 hasRelatedWork W1608659702 @default.
- W2898267029 hasRelatedWork W1943281423 @default.
- W2898267029 hasRelatedWork W2122686335 @default.
- W2898267029 hasRelatedWork W2172102451 @default.
- W2898267029 hasRelatedWork W2898267029 @default.
- W2898267029 hasRelatedWork W3028943997 @default.
- W2898267029 hasRelatedWork W60110726 @default.
- W2898267029 hasRelatedWork W2526228776 @default.
- W2898267029 isParatext "false" @default.
- W2898267029 isRetracted "false" @default.
- W2898267029 magId "2898267029" @default.
- W2898267029 workType "book-chapter" @default.