Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000759575> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2000759575 endingPage "92" @default.
- W2000759575 startingPage "68" @default.
- W2000759575 abstract "Stencil computations, involving operations over the elements of an array, are a common programming pattern in scientific computing, games, and image processing. As a programming pattern, stencil computations are highly regular and amenable to optimisation and parallelisation. However, general-purpose languages obscure this regular pattern from the compiler, and even the programmer, preventing optimisation and obfuscating (in)correctness. This paper furthers our work on the Ypnos domain-specific language for stencil computations embedded in Haskell. Ypnos allows declarative, abstract specification of stencil computations, exposing the structure of a problem to the compiler and to the programmer via specialised syntax. In this paper we show the decidable safety guarantee that well-formed, well-typed Ypnos programs cannot index outside of array boundaries. Thus indexing in Ypnos is safe and run-time bounds checking can be eliminated. Program information is encoded as types, using the advanced type-system features of the Glasgow Haskell Compiler, with the safe-indexing invariant enforced at compile time via type checking." @default.
- W2000759575 created "2016-06-24" @default.
- W2000759575 creator A5004222850 @default.
- W2000759575 creator A5064585229 @default.
- W2000759575 date "2011-09-01" @default.
- W2000759575 modified "2023-10-01" @default.
- W2000759575 title "Efficient and Correct Stencil Computation via Pattern Matching and Static Typing" @default.
- W2000759575 cites W1964291953 @default.
- W2000759575 cites W2003798513 @default.
- W2000759575 cites W2005192022 @default.
- W2000759575 cites W2044417921 @default.
- W2000759575 cites W2058162377 @default.
- W2000759575 cites W2089306329 @default.
- W2000759575 cites W2095136535 @default.
- W2000759575 cites W2107214848 @default.
- W2000759575 cites W2108650361 @default.
- W2000759575 cites W2126774541 @default.
- W2000759575 cites W2129471558 @default.
- W2000759575 cites W2140647971 @default.
- W2000759575 cites W2148431547 @default.
- W2000759575 cites W2148599839 @default.
- W2000759575 cites W2158094629 @default.
- W2000759575 cites W4237333737 @default.
- W2000759575 doi "https://doi.org/10.4204/eptcs.66.4" @default.
- W2000759575 hasPublicationYear "2011" @default.
- W2000759575 type Work @default.
- W2000759575 sameAs 2000759575 @default.
- W2000759575 citedByCount "8" @default.
- W2000759575 countsByYear W20007595752014 @default.
- W2000759575 countsByYear W20007595752016 @default.
- W2000759575 countsByYear W20007595752017 @default.
- W2000759575 countsByYear W20007595752018 @default.
- W2000759575 countsByYear W20007595752021 @default.
- W2000759575 crossrefType "journal-article" @default.
- W2000759575 hasAuthorship W2000759575A5004222850 @default.
- W2000759575 hasAuthorship W2000759575A5064585229 @default.
- W2000759575 hasBestOaLocation W20007595751 @default.
- W2000759575 hasConcept C135257023 @default.
- W2000759575 hasConcept C154945302 @default.
- W2000759575 hasConcept C169590947 @default.
- W2000759575 hasConcept C173608175 @default.
- W2000759575 hasConcept C199360897 @default.
- W2000759575 hasConcept C200833197 @default.
- W2000759575 hasConcept C2778514511 @default.
- W2000759575 hasConcept C2780624054 @default.
- W2000759575 hasConcept C41008148 @default.
- W2000759575 hasConcept C42383842 @default.
- W2000759575 hasConcept C45374587 @default.
- W2000759575 hasConcept C459310 @default.
- W2000759575 hasConcept C55439883 @default.
- W2000759575 hasConcept C68366613 @default.
- W2000759575 hasConcept C68859911 @default.
- W2000759575 hasConcept C75165309 @default.
- W2000759575 hasConcept C76752949 @default.
- W2000759575 hasConcept C80444323 @default.
- W2000759575 hasConceptScore W2000759575C135257023 @default.
- W2000759575 hasConceptScore W2000759575C154945302 @default.
- W2000759575 hasConceptScore W2000759575C169590947 @default.
- W2000759575 hasConceptScore W2000759575C173608175 @default.
- W2000759575 hasConceptScore W2000759575C199360897 @default.
- W2000759575 hasConceptScore W2000759575C200833197 @default.
- W2000759575 hasConceptScore W2000759575C2778514511 @default.
- W2000759575 hasConceptScore W2000759575C2780624054 @default.
- W2000759575 hasConceptScore W2000759575C41008148 @default.
- W2000759575 hasConceptScore W2000759575C42383842 @default.
- W2000759575 hasConceptScore W2000759575C45374587 @default.
- W2000759575 hasConceptScore W2000759575C459310 @default.
- W2000759575 hasConceptScore W2000759575C55439883 @default.
- W2000759575 hasConceptScore W2000759575C68366613 @default.
- W2000759575 hasConceptScore W2000759575C68859911 @default.
- W2000759575 hasConceptScore W2000759575C75165309 @default.
- W2000759575 hasConceptScore W2000759575C76752949 @default.
- W2000759575 hasConceptScore W2000759575C80444323 @default.
- W2000759575 hasLocation W20007595751 @default.
- W2000759575 hasLocation W20007595752 @default.
- W2000759575 hasLocation W20007595753 @default.
- W2000759575 hasLocation W20007595754 @default.
- W2000759575 hasOpenAccess W2000759575 @default.
- W2000759575 hasPrimaryLocation W20007595751 @default.
- W2000759575 hasRelatedWork W2000759575 @default.
- W2000759575 hasRelatedWork W2130363716 @default.
- W2000759575 hasRelatedWork W2164474969 @default.
- W2000759575 hasRelatedWork W2177866842 @default.
- W2000759575 hasRelatedWork W2192862863 @default.
- W2000759575 hasRelatedWork W2760941369 @default.
- W2000759575 hasRelatedWork W3006199460 @default.
- W2000759575 hasRelatedWork W3122607007 @default.
- W2000759575 hasRelatedWork W4237016936 @default.
- W2000759575 hasRelatedWork W4246781209 @default.
- W2000759575 hasVolume "66" @default.
- W2000759575 isParatext "false" @default.
- W2000759575 isRetracted "false" @default.
- W2000759575 magId "2000759575" @default.
- W2000759575 workType "article" @default.