FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1801362808> ?p ?o ?g. }

• W1801362808 endingPage "234" @default.
• W1801362808 startingPage "217" @default.
• W1801362808 abstract "We present an approach for the static analysis of programs handling arrays, with a Galois connection between the semantics of the array program and semantics of purely scalar operations. The simplest way to implement it is by automatic, syntactic transformation of the array program into a scalar program followed analysis of the scalar program with any static analysis technique (abstract interpretation, acceleration, predicate abstraction,...). The scalars invariants thus obtained are translated back onto the original program as universally quantified array invariants. We illustrate our approach on a variety of examples, leading to the “Dutch flag” algorithm." @default.
• W1801362808 created "2016-06-24" @default.
• W1801362808 creator A5057242516 @default.
• W1801362808 creator A5067069157 @default.
• W1801362808 date "2015-01-01" @default.
• W1801362808 modified "2023-10-12" @default.
• W1801362808 title "A Simple Abstraction of Arrays and Maps by Program Translation" @default.
• W1801362808 cites W117956956 @default.
• W1801362808 cites W1483403737 @default.
• W1801362808 cites W1517192598 @default.
• W1801362808 cites W1518247129 @default.
• W1801362808 cites W1533634404 @default.
• W1801362808 cites W1540580590 @default.
• W1801362808 cites W1544283013 @default.
• W1801362808 cites W1565898282 @default.
• W1801362808 cites W1600925218 @default.
• W1801362808 cites W1623004875 @default.
• W1801362808 cites W171295454 @default.
• W1801362808 cites W1744405537 @default.
• W1801362808 cites W1755257908 @default.
• W1801362808 cites W1781094 @default.
• W1801362808 cites W1862725884 @default.
• W1801362808 cites W1980102547 @default.
• W1801362808 cites W2017654412 @default.
• W1801362808 cites W2037370310 @default.
• W1801362808 cites W2044870852 @default.
• W1801362808 cites W2084875723 @default.
• W1801362808 cites W2108241838 @default.
• W1801362808 cites W2128466619 @default.
• W1801362808 cites W2132661148 @default.
• W1801362808 cites W2140566181 @default.
• W1801362808 cites W2164915303 @default.
• W1801362808 cites W2165086189 @default.
• W1801362808 cites W2170736936 @default.
• W1801362808 cites W3003421191 @default.
• W1801362808 cites W3019119050 @default.
• W1801362808 cites W3033487978 @default.
• W1801362808 cites W3099434706 @default.
• W1801362808 cites W3158747708 @default.
• W1801362808 cites W4214650869 @default.
• W1801362808 cites W74317754 @default.
• W1801362808 doi "https://doi.org/10.1007/978-3-662-48288-9_13" @default.
• W1801362808 hasPublicationYear "2015" @default.
• W1801362808 type Work @default.
• W1801362808 sameAs 1801362808 @default.
• W1801362808 citedByCount "19" @default.
• W1801362808 countsByYear W18013628082016 @default.
• W1801362808 countsByYear W18013628082017 @default.
• W1801362808 countsByYear W18013628082018 @default.
• W1801362808 countsByYear W18013628082019 @default.
• W1801362808 countsByYear W18013628082020 @default.
• W1801362808 countsByYear W18013628082021 @default.
• W1801362808 countsByYear W18013628082022 @default.
• W1801362808 crossrefType "book-chapter" @default.
• W1801362808 hasAuthorship W1801362808A5057242516 @default.
• W1801362808 hasAuthorship W1801362808A5067069157 @default.
• W1801362808 hasBestOaLocation W18013628082 @default.
• W1801362808 hasConcept C104317684 @default.
• W1801362808 hasConcept C110251889 @default.
• W1801362808 hasConcept C111472728 @default.
• W1801362808 hasConcept C11413529 @default.
• W1801362808 hasConcept C118615104 @default.
• W1801362808 hasConcept C124304363 @default.
• W1801362808 hasConcept C138885662 @default.
• W1801362808 hasConcept C140146324 @default.
• W1801362808 hasConcept C154690210 @default.
• W1801362808 hasConcept C184337299 @default.
• W1801362808 hasConcept C185592680 @default.
• W1801362808 hasConcept C199360897 @default.
• W1801362808 hasConcept C204241405 @default.
• W1801362808 hasConcept C2524010 @default.
• W1801362808 hasConcept C2777573902 @default.
• W1801362808 hasConcept C2778361913 @default.
• W1801362808 hasConcept C2779907942 @default.
• W1801362808 hasConcept C2780586882 @default.
• W1801362808 hasConcept C2780654840 @default.
• W1801362808 hasConcept C33923547 @default.
• W1801362808 hasConcept C41008148 @default.
• W1801362808 hasConcept C55493867 @default.
• W1801362808 hasConcept C57691317 @default.
• W1801362808 hasConcept C80444323 @default.
• W1801362808 hasConcept C98183937 @default.
• W1801362808 hasConceptScore W1801362808C104317684 @default.
• W1801362808 hasConceptScore W1801362808C110251889 @default.
• W1801362808 hasConceptScore W1801362808C111472728 @default.
• W1801362808 hasConceptScore W1801362808C11413529 @default.
• W1801362808 hasConceptScore W1801362808C118615104 @default.
• W1801362808 hasConceptScore W1801362808C124304363 @default.
• W1801362808 hasConceptScore W1801362808C138885662 @default.
• W1801362808 hasConceptScore W1801362808C140146324 @default.
• W1801362808 hasConceptScore W1801362808C154690210 @default.
• W1801362808 hasConceptScore W1801362808C184337299 @default.
• W1801362808 hasConceptScore W1801362808C185592680 @default.
• W1801362808 hasConceptScore W1801362808C199360897 @default.
• W1801362808 hasConceptScore W1801362808C204241405 @default.
• W1801362808 hasConceptScore W1801362808C2524010 @default.
• W1801362808 hasConceptScore W1801362808C2777573902 @default.
• W1801362808 hasConceptScore W1801362808C2778361913 @default.

• next