Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021875003> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2021875003 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.
- W2021875003 created "2016-06-24" @default.
- W2021875003 creator A5039710262 @default.
- W2021875003 creator A5052865315 @default.
- W2021875003 creator A5071726140 @default.
- W2021875003 date "2007-10-21" @default.
- W2021875003 modified "2023-10-17" @default.
- W2021875003 title "Making trace monitors feasible" @default.
- W2021875003 cites W1533198137 @default.
- W2021875003 cites W1610570299 @default.
- W2021875003 cites W1792234409 @default.
- W2021875003 cites W1825341937 @default.
- W2021875003 cites W1855341394 @default.
- W2021875003 cites W2025183068 @default.
- W2021875003 cites W2090727480 @default.
- W2021875003 cites W2111141292 @default.
- W2021875003 cites W2134311998 @default.
- W2021875003 cites W2134429122 @default.
- W2021875003 cites W2137591753 @default.
- W2021875003 cites W2150593762 @default.
- W2021875003 cites W2162126440 @default.
- W2021875003 cites W4234921998 @default.
- W2021875003 cites W4238565333 @default.
- W2021875003 doi "https://doi.org/10.1145/1297027.1297070" @default.
- W2021875003 hasPublicationYear "2007" @default.
- W2021875003 type Work @default.
- W2021875003 sameAs 2021875003 @default.
- W2021875003 citedByCount "85" @default.
- W2021875003 countsByYear W20218750032012 @default.
- W2021875003 countsByYear W20218750032013 @default.
- W2021875003 countsByYear W20218750032014 @default.
- W2021875003 countsByYear W20218750032015 @default.
- W2021875003 countsByYear W20218750032016 @default.
- W2021875003 countsByYear W20218750032017 @default.
- W2021875003 countsByYear W20218750032018 @default.
- W2021875003 countsByYear W20218750032020 @default.
- W2021875003 crossrefType "proceedings-article" @default.
- W2021875003 hasAuthorship W2021875003A5039710262 @default.
- W2021875003 hasAuthorship W2021875003A5052865315 @default.
- W2021875003 hasAuthorship W2021875003A5071726140 @default.
- W2021875003 hasConcept C138885662 @default.
- W2021875003 hasConcept C41008148 @default.
- W2021875003 hasConcept C41895202 @default.
- W2021875003 hasConcept C75291252 @default.
- W2021875003 hasConceptScore W2021875003C138885662 @default.
- W2021875003 hasConceptScore W2021875003C41008148 @default.
- W2021875003 hasConceptScore W2021875003C41895202 @default.
- W2021875003 hasConceptScore W2021875003C75291252 @default.
- W2021875003 hasLocation W20218750031 @default.
- W2021875003 hasOpenAccess W2021875003 @default.
- W2021875003 hasPrimaryLocation W20218750031 @default.
- W2021875003 hasRelatedWork W1483845062 @default.
- W2021875003 hasRelatedWork W1555873941 @default.
- W2021875003 hasRelatedWork W2115737686 @default.
- W2021875003 hasRelatedWork W2136711844 @default.
- W2021875003 hasRelatedWork W2383986235 @default.
- W2021875003 hasRelatedWork W2390095984 @default.
- W2021875003 hasRelatedWork W3007092120 @default.
- W2021875003 hasRelatedWork W3007745445 @default.
- W2021875003 hasRelatedWork W2464849962 @default.
- W2021875003 hasRelatedWork W2477564355 @default.
- W2021875003 isParatext "false" @default.
- W2021875003 isRetracted "false" @default.
- W2021875003 magId "2021875003" @default.
- W2021875003 workType "article" @default.