Matches in SemOpenAlex for { <https://semopenalex.org/work/W2748623701> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2748623701 abstract "This paper presents a proposal (story) of how statically detecting unreachable objects (in Java) could be used to improve a particular runtime verification approach (for Java), namely parametric trace slicing. Monitoring algorithms for parametric trace slicing depend on garbage collection to (i) cleanup data-structures storing monitored objects, ensuring they do not become unmanageably large, and (ii) anticipate the violation of (non-safety) properties that cannot be satisfied as a monitored object can no longer appear later in the trace. The proposal is that both usages can be improved by making the unreachability of monitored objects explicit in the parametric property and statically introducing additional instrumentation points generating related events. The ideas presented in this paper are still exploratory and the intention is to integrate the described techniques into the MarQ monitoring tool for quantified event automata." @default.
- W2748623701 created "2017-08-31" @default.
- W2748623701 creator A5052066515 @default.
- W2748623701 date "2017-08-23" @default.
- W2748623701 modified "2023-09-28" @default.
- W2748623701 title "A Story of Parametric Trace Slicing, Garbage and Static Analysis" @default.
- W2748623701 cites W1501560890 @default.
- W2748623701 cites W1593942753 @default.
- W2748623701 cites W2007846881 @default.
- W2748623701 cites W2057375777 @default.
- W2748623701 cites W2061005179 @default.
- W2748623701 cites W2078356878 @default.
- W2748623701 cites W2132281483 @default.
- W2748623701 cites W2154591112 @default.
- W2748623701 cites W2164119561 @default.
- W2748623701 cites W2405916544 @default.
- W2748623701 cites W2407790672 @default.
- W2748623701 cites W2553375745 @default.
- W2748623701 cites W4206770190 @default.
- W2748623701 cites W4230015257 @default.
- W2748623701 cites W4232806030 @default.
- W2748623701 cites W4251476415 @default.
- W2748623701 doi "https://doi.org/10.4204/eptcs.254.1" @default.
- W2748623701 hasPublicationYear "2017" @default.
- W2748623701 type Work @default.
- W2748623701 sameAs 2748623701 @default.
- W2748623701 citedByCount "1" @default.
- W2748623701 countsByYear W27486237012021 @default.
- W2748623701 crossrefType "journal-article" @default.
- W2748623701 hasAuthorship W2748623701A5052066515 @default.
- W2748623701 hasBestOaLocation W27486237011 @default.
- W2748623701 hasConcept C105122174 @default.
- W2748623701 hasConcept C105795698 @default.
- W2748623701 hasConcept C111472728 @default.
- W2748623701 hasConcept C111498074 @default.
- W2748623701 hasConcept C112505250 @default.
- W2748623701 hasConcept C117251300 @default.
- W2748623701 hasConcept C121332964 @default.
- W2748623701 hasConcept C121684516 @default.
- W2748623701 hasConcept C138885662 @default.
- W2748623701 hasConcept C156731835 @default.
- W2748623701 hasConcept C168065819 @default.
- W2748623701 hasConcept C189950617 @default.
- W2748623701 hasConcept C199360897 @default.
- W2748623701 hasConcept C202973057 @default.
- W2748623701 hasConcept C2776190703 @default.
- W2748623701 hasConcept C2779662365 @default.
- W2748623701 hasConcept C33923547 @default.
- W2748623701 hasConcept C41008148 @default.
- W2748623701 hasConcept C41895202 @default.
- W2748623701 hasConcept C548217200 @default.
- W2748623701 hasConcept C62520636 @default.
- W2748623701 hasConcept C75291252 @default.
- W2748623701 hasConcept C75403996 @default.
- W2748623701 hasConcept C80444323 @default.
- W2748623701 hasConcept C91071405 @default.
- W2748623701 hasConceptScore W2748623701C105122174 @default.
- W2748623701 hasConceptScore W2748623701C105795698 @default.
- W2748623701 hasConceptScore W2748623701C111472728 @default.
- W2748623701 hasConceptScore W2748623701C111498074 @default.
- W2748623701 hasConceptScore W2748623701C112505250 @default.
- W2748623701 hasConceptScore W2748623701C117251300 @default.
- W2748623701 hasConceptScore W2748623701C121332964 @default.
- W2748623701 hasConceptScore W2748623701C121684516 @default.
- W2748623701 hasConceptScore W2748623701C138885662 @default.
- W2748623701 hasConceptScore W2748623701C156731835 @default.
- W2748623701 hasConceptScore W2748623701C168065819 @default.
- W2748623701 hasConceptScore W2748623701C189950617 @default.
- W2748623701 hasConceptScore W2748623701C199360897 @default.
- W2748623701 hasConceptScore W2748623701C202973057 @default.
- W2748623701 hasConceptScore W2748623701C2776190703 @default.
- W2748623701 hasConceptScore W2748623701C2779662365 @default.
- W2748623701 hasConceptScore W2748623701C33923547 @default.
- W2748623701 hasConceptScore W2748623701C41008148 @default.
- W2748623701 hasConceptScore W2748623701C41895202 @default.
- W2748623701 hasConceptScore W2748623701C548217200 @default.
- W2748623701 hasConceptScore W2748623701C62520636 @default.
- W2748623701 hasConceptScore W2748623701C75291252 @default.
- W2748623701 hasConceptScore W2748623701C75403996 @default.
- W2748623701 hasConceptScore W2748623701C80444323 @default.
- W2748623701 hasConceptScore W2748623701C91071405 @default.
- W2748623701 hasLocation W27486237011 @default.
- W2748623701 hasLocation W27486237012 @default.
- W2748623701 hasLocation W27486237013 @default.
- W2748623701 hasOpenAccess W2748623701 @default.
- W2748623701 hasPrimaryLocation W27486237011 @default.
- W2748623701 hasRelatedWork W116083823 @default.
- W2748623701 hasRelatedWork W1737971179 @default.
- W2748623701 hasRelatedWork W2060417707 @default.
- W2748623701 hasRelatedWork W2121728898 @default.
- W2748623701 hasRelatedWork W2328785738 @default.
- W2748623701 hasRelatedWork W2362496896 @default.
- W2748623701 hasRelatedWork W2380051080 @default.
- W2748623701 hasRelatedWork W2748623701 @default.
- W2748623701 hasRelatedWork W2766076007 @default.
- W2748623701 hasRelatedWork W95377021 @default.
- W2748623701 isParatext "false" @default.
- W2748623701 isRetracted "false" @default.
- W2748623701 magId "2748623701" @default.
- W2748623701 workType "article" @default.