Matches in SemOpenAlex for { <https://semopenalex.org/work/W4231411900> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4231411900 endingPage "608" @default.
- W4231411900 startingPage "589" @default.
- W4231411900 abstract "A trace monitor observes an execution trace at runtime; when it recognises a specified sequence of events, the monitor runs extra code. In the aspect-oriented programming community, the idea originatedas a generalisation of the advice-trigger mechanism: instead of matchingon single events (joinpoints), one matches on a sequence of events. The runtime verification community has been investigating similar mechanisms for a number of years, specifying the event patterns in terms of temporal logic, and applying the monitors to hardware and software. In recent years trace monitors have been adapted for use with mainstream object-oriented languages. In this setting, a crucial feature is to allow the programmer to quantify over groups of related objects when expressing the sequence of events to match. While many language proposals exist for allowing such features, until now no implementation had scalable performance: execution on all but very simple examples was infeasible. This paper rectifies that situation, by identifying two optimisations for generating feasible trace monitors from declarative specifications of the relevant event pattern. We restrict ourselves to optimisations that do not have a significant impact on compile-time: they only analyse the event pattern, and not the monitored code itself. The first optimisation is an important improvement over an earlier proposal in [2] to avoid space leaks. The second optimisation is a form of indexing for partial matches. Such indexing needs to be very carefully designed to avoid introducing new space leaks, and the resulting data structure is highly non-trivial." @default.
- W4231411900 created "2022-05-12" @default.
- W4231411900 creator A5039710262 @default.
- W4231411900 creator A5052865315 @default.
- W4231411900 creator A5071726140 @default.
- W4231411900 date "2007-10-21" @default.
- W4231411900 modified "2023-09-26" @default.
- W4231411900 title "Making trace monitors feasible" @default.
- W4231411900 cites W1533198137 @default.
- W4231411900 cites W1610570299 @default.
- W4231411900 cites W1792234409 @default.
- W4231411900 cites W1825341937 @default.
- W4231411900 cites W1855341394 @default.
- W4231411900 cites W2025183068 @default.
- W4231411900 cites W2090727480 @default.
- W4231411900 cites W2111141292 @default.
- W4231411900 cites W2134311998 @default.
- W4231411900 cites W2134429122 @default.
- W4231411900 cites W2137591753 @default.
- W4231411900 cites W2150593762 @default.
- W4231411900 cites W2162126440 @default.
- W4231411900 cites W4234921998 @default.
- W4231411900 cites W4238565333 @default.
- W4231411900 doi "https://doi.org/10.1145/1297105.1297070" @default.
- W4231411900 hasPublicationYear "2007" @default.
- W4231411900 type Work @default.
- W4231411900 citedByCount "16" @default.
- W4231411900 countsByYear W42314119002012 @default.
- W4231411900 countsByYear W42314119002013 @default.
- W4231411900 countsByYear W42314119002014 @default.
- W4231411900 countsByYear W42314119002015 @default.
- W4231411900 countsByYear W42314119002018 @default.
- W4231411900 countsByYear W42314119002020 @default.
- W4231411900 countsByYear W42314119002021 @default.
- W4231411900 crossrefType "journal-article" @default.
- W4231411900 hasAuthorship W4231411900A5039710262 @default.
- W4231411900 hasAuthorship W4231411900A5052865315 @default.
- W4231411900 hasAuthorship W4231411900A5071726140 @default.
- W4231411900 hasConcept C121332964 @default.
- W4231411900 hasConcept C138885662 @default.
- W4231411900 hasConcept C154945302 @default.
- W4231411900 hasConcept C169590947 @default.
- W4231411900 hasConcept C177264268 @default.
- W4231411900 hasConcept C199360897 @default.
- W4231411900 hasConcept C200833197 @default.
- W4231411900 hasConcept C2776760102 @default.
- W4231411900 hasConcept C2778112365 @default.
- W4231411900 hasConcept C2778514511 @default.
- W4231411900 hasConcept C2779662365 @default.
- W4231411900 hasConcept C41008148 @default.
- W4231411900 hasConcept C41895202 @default.
- W4231411900 hasConcept C48044578 @default.
- W4231411900 hasConcept C54355233 @default.
- W4231411900 hasConcept C62520636 @default.
- W4231411900 hasConcept C75165309 @default.
- W4231411900 hasConcept C75291252 @default.
- W4231411900 hasConcept C77088390 @default.
- W4231411900 hasConcept C86803240 @default.
- W4231411900 hasConceptScore W4231411900C121332964 @default.
- W4231411900 hasConceptScore W4231411900C138885662 @default.
- W4231411900 hasConceptScore W4231411900C154945302 @default.
- W4231411900 hasConceptScore W4231411900C169590947 @default.
- W4231411900 hasConceptScore W4231411900C177264268 @default.
- W4231411900 hasConceptScore W4231411900C199360897 @default.
- W4231411900 hasConceptScore W4231411900C200833197 @default.
- W4231411900 hasConceptScore W4231411900C2776760102 @default.
- W4231411900 hasConceptScore W4231411900C2778112365 @default.
- W4231411900 hasConceptScore W4231411900C2778514511 @default.
- W4231411900 hasConceptScore W4231411900C2779662365 @default.
- W4231411900 hasConceptScore W4231411900C41008148 @default.
- W4231411900 hasConceptScore W4231411900C41895202 @default.
- W4231411900 hasConceptScore W4231411900C48044578 @default.
- W4231411900 hasConceptScore W4231411900C54355233 @default.
- W4231411900 hasConceptScore W4231411900C62520636 @default.
- W4231411900 hasConceptScore W4231411900C75165309 @default.
- W4231411900 hasConceptScore W4231411900C75291252 @default.
- W4231411900 hasConceptScore W4231411900C77088390 @default.
- W4231411900 hasConceptScore W4231411900C86803240 @default.
- W4231411900 hasIssue "10" @default.
- W4231411900 hasLocation W42314119001 @default.
- W4231411900 hasOpenAccess W4231411900 @default.
- W4231411900 hasPrimaryLocation W42314119001 @default.
- W4231411900 hasRelatedWork W2040663641 @default.
- W4231411900 hasRelatedWork W2080728122 @default.
- W4231411900 hasRelatedWork W2086733238 @default.
- W4231411900 hasRelatedWork W2089234927 @default.
- W4231411900 hasRelatedWork W2132434753 @default.
- W4231411900 hasRelatedWork W2171648479 @default.
- W4231411900 hasRelatedWork W2383299421 @default.
- W4231411900 hasRelatedWork W4246531319 @default.
- W4231411900 hasRelatedWork W4246781209 @default.
- W4231411900 hasRelatedWork W1482645738 @default.
- W4231411900 hasVolume "42" @default.
- W4231411900 isParatext "false" @default.
- W4231411900 isRetracted "false" @default.
- W4231411900 workType "article" @default.