FRINK Linked Data Fragments server

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

• W2886989630 abstract "Instrumenting programs for performing runtime checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program behaviors. This is specially true in dynamic languages such as Prolog. However, such runtime checks inevitably introduce runtime overhead (in execution time, memory, energy, etc.). Several approaches have been proposed for reducing this overhead, such as eliminating the checks that can statically be proved to always succeed, and/or optimizing the way in which the (remaining) checks are performed. However, there are cases in which it is not possible to remove all checks statically (e.g., open libraries which must check their interfaces, complex properties, unknown code, etc.) and in which, even after optimizations, these remaining checks may still introduce an unacceptable level of overhead. It is thus important for programmers to be able to determine the additional cost due to the runtime checks and compare it to some notion of admissible cost. The common practice used for estimating runtime checking overhead is profiling, which is not exhaustive by nature. Instead, we propose a method that uses static analysis to estimate such overhead, with the advantage that the estimations are functions parameterized by input data sizes. Unlike profiling, this approach can provide guarantees for all possible execution traces, and allows assessing how the overhead grows as the size of the input grows. Our method also extends an existing assertion verification framework to express admissible overheads, and statically and automatically checks whether the instrumented program conforms with such specifications. Finally, we present an experimental evaluation of our approach that suggests that our method is feasible and promising." @default.
• W2886989630 created "2018-08-22" @default.
• W2886989630 creator A5008145265 @default.
• W2886989630 creator A5030520172 @default.
• W2886989630 creator A5048451206 @default.
• W2886989630 creator A5073531919 @default.
• W2886989630 creator A5075865573 @default.
• W2886989630 date "2018-09-03" @default.
• W2886989630 modified "2023-10-16" @default.
• W2886989630 title "Static Performance Guarantees for Programs with Runtime Checks" @default.
• W2886989630 cites W1508161107 @default.
• W2886989630 cites W1509799693 @default.
• W2886989630 cites W1532795106 @default.
• W2886989630 cites W1533556407 @default.
• W2886989630 cites W1557126436 @default.
• W2886989630 cites W1570080582 @default.
• W2886989630 cites W1594742196 @default.
• W2886989630 cites W1806173689 @default.
• W2886989630 cites W1965377774 @default.
• W2886989630 cites W1973186567 @default.
• W2886989630 cites W1975943297 @default.
• W2886989630 cites W1977978965 @default.
• W2886989630 cites W1998223027 @default.
• W2886989630 cites W2012069736 @default.
• W2886989630 cites W2045900383 @default.
• W2886989630 cites W2091335641 @default.
• W2886989630 cites W2094712524 @default.
• W2886989630 cites W2106355420 @default.
• W2886989630 cites W2128303158 @default.
• W2886989630 cites W2140595120 @default.
• W2886989630 cites W2142044962 @default.
• W2886989630 cites W2147953536 @default.
• W2886989630 cites W2148890056 @default.
• W2886989630 cites W2153036969 @default.
• W2886989630 cites W2293770661 @default.
• W2886989630 cites W2295415424 @default.
• W2886989630 cites W2341286426 @default.
• W2886989630 cites W2417567569 @default.
• W2886989630 cites W2768658963 @default.
• W2886989630 cites W2778826798 @default.
• W2886989630 cites W2949525688 @default.
• W2886989630 cites W2963827670 @default.
• W2886989630 cites W3099703838 @default.
• W2886989630 cites W4249990212 @default.
• W2886989630 cites W52244296 @default.
• W2886989630 cites W96134206 @default.
• W2886989630 doi "https://doi.org/10.1145/3236950.3236970" @default.
• W2886989630 hasPublicationYear "2018" @default.
• W2886989630 type Work @default.
• W2886989630 sameAs 2886989630 @default.
• W2886989630 citedByCount "6" @default.
• W2886989630 countsByYear W28869896302019 @default.
• W2886989630 countsByYear W28869896302020 @default.
• W2886989630 countsByYear W28869896302021 @default.
• W2886989630 countsByYear W28869896302022 @default.
• W2886989630 countsByYear W28869896302023 @default.
• W2886989630 crossrefType "proceedings-article" @default.
• W2886989630 hasAuthorship W2886989630A5008145265 @default.
• W2886989630 hasAuthorship W2886989630A5030520172 @default.
• W2886989630 hasAuthorship W2886989630A5048451206 @default.
• W2886989630 hasAuthorship W2886989630A5073531919 @default.
• W2886989630 hasAuthorship W2886989630A5075865573 @default.
• W2886989630 hasBestOaLocation W28869896302 @default.
• W2886989630 hasConcept C111498074 @default.
• W2886989630 hasConcept C11413529 @default.
• W2886989630 hasConcept C165464430 @default.
• W2886989630 hasConcept C168065819 @default.
• W2886989630 hasConcept C173608175 @default.
• W2886989630 hasConcept C187191949 @default.
• W2886989630 hasConcept C199360897 @default.
• W2886989630 hasConcept C202973057 @default.
• W2886989630 hasConcept C2777904410 @default.
• W2886989630 hasConcept C2779639559 @default.
• W2886989630 hasConcept C2779960059 @default.
• W2886989630 hasConcept C40422974 @default.
• W2886989630 hasConcept C41008148 @default.
• W2886989630 hasConcept C97686452 @default.
• W2886989630 hasConcept C98183937 @default.
• W2886989630 hasConceptScore W2886989630C111498074 @default.
• W2886989630 hasConceptScore W2886989630C11413529 @default.
• W2886989630 hasConceptScore W2886989630C165464430 @default.
• W2886989630 hasConceptScore W2886989630C168065819 @default.
• W2886989630 hasConceptScore W2886989630C173608175 @default.
• W2886989630 hasConceptScore W2886989630C187191949 @default.
• W2886989630 hasConceptScore W2886989630C199360897 @default.
• W2886989630 hasConceptScore W2886989630C202973057 @default.
• W2886989630 hasConceptScore W2886989630C2777904410 @default.
• W2886989630 hasConceptScore W2886989630C2779639559 @default.
• W2886989630 hasConceptScore W2886989630C2779960059 @default.
• W2886989630 hasConceptScore W2886989630C40422974 @default.
• W2886989630 hasConceptScore W2886989630C41008148 @default.
• W2886989630 hasConceptScore W2886989630C97686452 @default.
• W2886989630 hasConceptScore W2886989630C98183937 @default.
• W2886989630 hasLocation W28869896301 @default.
• W2886989630 hasLocation W28869896302 @default.
• W2886989630 hasOpenAccess W2886989630 @default.
• W2886989630 hasPrimaryLocation W28869896301 @default.
• W2886989630 hasRelatedWork W1532795106 @default.
• W2886989630 hasRelatedWork W201088255 @default.
• W2886989630 hasRelatedWork W2059882177 @default.

• next