FRINK Linked Data Fragments server

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

• W2123168052 endingPage "138" @default.
• W2123168052 startingPage "122" @default.
• W2123168052 abstract "We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework where programs are represented as linear operators over dioids. We provide abstraction techniques for such linear operators which make it feasible to compute safe over-approximations of the long-run cost of a program. A theorem is proved stating that such abstractions yield correct approximations of the program’s long-run cost. These approximations are effectively computed as the eigenvalue of the matrix representation of the abstract semantics. The theoretical developments are illustrated on a concrete example taken from the analysis of the cache behaviour of a simple bytecode language." @default.
• W2123168052 created "2016-06-24" @default.
• W2123168052 creator A5006103389 @default.
• W2123168052 creator A5026717554 @default.
• W2123168052 creator A5054819541 @default.
• W2123168052 creator A5067078527 @default.
• W2123168052 date "2008-07-28" @default.
• W2123168052 modified "2023-09-25" @default.
• W2123168052 title "Long-Run Cost Analysis by Approximation of Linear Operators over Dioids" @default.
• W2123168052 cites W1590648473 @default.
• W2123168052 cites W1989095004 @default.
• W2123168052 cites W2043100293 @default.
• W2123168052 cites W2053983244 @default.
• W2123168052 cites W2086919345 @default.
• W2123168052 cites W2104936118 @default.
• W2123168052 cites W2116590474 @default.
• W2123168052 cites W2117685302 @default.
• W2123168052 cites W2121382061 @default.
• W2123168052 cites W2141470955 @default.
• W2123168052 cites W2156525231 @default.
• W2123168052 cites W2159897916 @default.
• W2123168052 cites W2972035647 @default.
• W2123168052 cites W4235014231 @default.
• W2123168052 doi "https://doi.org/10.1007/978-3-540-79980-1_10" @default.
• W2123168052 hasPublicationYear "2008" @default.
• W2123168052 type Work @default.
• W2123168052 sameAs 2123168052 @default.
• W2123168052 citedByCount "2" @default.
• W2123168052 crossrefType "book-chapter" @default.
• W2123168052 hasAuthorship W2123168052A5006103389 @default.
• W2123168052 hasAuthorship W2123168052A5026717554 @default.
• W2123168052 hasAuthorship W2123168052A5054819541 @default.
• W2123168052 hasAuthorship W2123168052A5067078527 @default.
• W2123168052 hasBestOaLocation W21231680522 @default.
• W2123168052 hasConcept C111472728 @default.
• W2123168052 hasConcept C11413529 @default.
• W2123168052 hasConcept C121332964 @default.
• W2123168052 hasConcept C124304363 @default.
• W2123168052 hasConcept C126255220 @default.
• W2123168052 hasConcept C138885662 @default.
• W2123168052 hasConcept C158693339 @default.
• W2123168052 hasConcept C17744445 @default.
• W2123168052 hasConcept C184337299 @default.
• W2123168052 hasConcept C199360897 @default.
• W2123168052 hasConcept C199539241 @default.
• W2123168052 hasConcept C2776359362 @default.
• W2123168052 hasConcept C2779818221 @default.
• W2123168052 hasConcept C2780586882 @default.
• W2123168052 hasConcept C2780654840 @default.
• W2123168052 hasConcept C28826006 @default.
• W2123168052 hasConcept C33923547 @default.
• W2123168052 hasConcept C41008148 @default.
• W2123168052 hasConcept C548217200 @default.
• W2123168052 hasConcept C62520636 @default.
• W2123168052 hasConcept C80444323 @default.
• W2123168052 hasConcept C94625758 @default.
• W2123168052 hasConceptScore W2123168052C111472728 @default.
• W2123168052 hasConceptScore W2123168052C11413529 @default.
• W2123168052 hasConceptScore W2123168052C121332964 @default.
• W2123168052 hasConceptScore W2123168052C124304363 @default.
• W2123168052 hasConceptScore W2123168052C126255220 @default.
• W2123168052 hasConceptScore W2123168052C138885662 @default.
• W2123168052 hasConceptScore W2123168052C158693339 @default.
• W2123168052 hasConceptScore W2123168052C17744445 @default.
• W2123168052 hasConceptScore W2123168052C184337299 @default.
• W2123168052 hasConceptScore W2123168052C199360897 @default.
• W2123168052 hasConceptScore W2123168052C199539241 @default.
• W2123168052 hasConceptScore W2123168052C2776359362 @default.
• W2123168052 hasConceptScore W2123168052C2779818221 @default.
• W2123168052 hasConceptScore W2123168052C2780586882 @default.
• W2123168052 hasConceptScore W2123168052C2780654840 @default.
• W2123168052 hasConceptScore W2123168052C28826006 @default.
• W2123168052 hasConceptScore W2123168052C33923547 @default.
• W2123168052 hasConceptScore W2123168052C41008148 @default.
• W2123168052 hasConceptScore W2123168052C548217200 @default.
• W2123168052 hasConceptScore W2123168052C62520636 @default.
• W2123168052 hasConceptScore W2123168052C80444323 @default.
• W2123168052 hasConceptScore W2123168052C94625758 @default.
• W2123168052 hasLocation W21231680521 @default.
• W2123168052 hasLocation W21231680522 @default.
• W2123168052 hasLocation W21231680523 @default.
• W2123168052 hasLocation W21231680524 @default.
• W2123168052 hasLocation W21231680525 @default.
• W2123168052 hasLocation W21231680526 @default.
• W2123168052 hasOpenAccess W2123168052 @default.
• W2123168052 hasPrimaryLocation W21231680521 @default.
• W2123168052 hasRelatedWork W1483213041 @default.
• W2123168052 hasRelatedWork W1515694307 @default.
• W2123168052 hasRelatedWork W2050872582 @default.
• W2123168052 hasRelatedWork W2097485368 @default.
• W2123168052 hasRelatedWork W2119447376 @default.
• W2123168052 hasRelatedWork W3149732360 @default.
• W2123168052 hasRelatedWork W3216885170 @default.
• W2123168052 hasRelatedWork W4298187297 @default.
• W2123168052 hasRelatedWork W2481204841 @default.
• W2123168052 hasRelatedWork W2611182424 @default.
• W2123168052 isParatext "false" @default.
• W2123168052 isRetracted "false" @default.

• next