Matches in SemOpenAlex for { <https://semopenalex.org/work/W766712924> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W766712924 abstract "We introduce the temporal logic Jeagle and its supporting tool for runtime verification of Java programs. A monitor for an Jeagle formula checks if a finite trace of program events satisfies the formula. Jeagle is a programming oriented extension of the rule-based powerful Eagle logic that has been shown to be capable of defining and implementing a range of finite trace monitoring logics, including future and past time temporal logic, real-time and metric temporal logics, interval logics, forms of quantified temporal logics, and so on. Monitoring is achieved on a state-by-state basis avoiding any need to store the input trace. Jeagle extends Eagle with constructs for capturing parameterized program events such as method calls and method returns. Parameters can be the objects that methods are called upon, arguments to methods, and return values. Jeagle allows one to refer to these in formulas. The tool performs automated program instrumentation using AspectJ. We show the transformational semantics of Jeagle." @default.
- W766712924 created "2016-06-24" @default.
- W766712924 creator A5020353093 @default.
- W766712924 creator A5040778442 @default.
- W766712924 date "2005-01-01" @default.
- W766712924 modified "2023-09-27" @default.
- W766712924 title "Jeagle: a JAVA Runtime Verification Tool" @default.
- W766712924 cites W1540180001 @default.
- W766712924 cites W1549122259 @default.
- W766712924 cites W1553894716 @default.
- W766712924 cites W1566440953 @default.
- W766712924 cites W1603799276 @default.
- W766712924 cites W1610570299 @default.
- W766712924 cites W1825341937 @default.
- W766712924 cites W1998490923 @default.
- W766712924 cites W2119965246 @default.
- W766712924 cites W2122898375 @default.
- W766712924 cites W2165418237 @default.
- W766712924 cites W2622427009 @default.
- W766712924 cites W2897535665 @default.
- W766712924 cites W2913459036 @default.
- W766712924 cites W3169000564 @default.
- W766712924 hasPublicationYear "2005" @default.
- W766712924 type Work @default.
- W766712924 sameAs 766712924 @default.
- W766712924 citedByCount "1" @default.
- W766712924 crossrefType "journal-article" @default.
- W766712924 hasAuthorship W766712924A5020353093 @default.
- W766712924 hasAuthorship W766712924A5040778442 @default.
- W766712924 hasConcept C111498074 @default.
- W766712924 hasConcept C11413529 @default.
- W766712924 hasConcept C138885662 @default.
- W766712924 hasConcept C165464430 @default.
- W766712924 hasConcept C184337299 @default.
- W766712924 hasConcept C199360897 @default.
- W766712924 hasConcept C202973057 @default.
- W766712924 hasConcept C25016198 @default.
- W766712924 hasConcept C41008148 @default.
- W766712924 hasConcept C41895202 @default.
- W766712924 hasConcept C4777664 @default.
- W766712924 hasConcept C48103436 @default.
- W766712924 hasConcept C548217200 @default.
- W766712924 hasConcept C75291252 @default.
- W766712924 hasConcept C80444323 @default.
- W766712924 hasConceptScore W766712924C111498074 @default.
- W766712924 hasConceptScore W766712924C11413529 @default.
- W766712924 hasConceptScore W766712924C138885662 @default.
- W766712924 hasConceptScore W766712924C165464430 @default.
- W766712924 hasConceptScore W766712924C184337299 @default.
- W766712924 hasConceptScore W766712924C199360897 @default.
- W766712924 hasConceptScore W766712924C202973057 @default.
- W766712924 hasConceptScore W766712924C25016198 @default.
- W766712924 hasConceptScore W766712924C41008148 @default.
- W766712924 hasConceptScore W766712924C41895202 @default.
- W766712924 hasConceptScore W766712924C4777664 @default.
- W766712924 hasConceptScore W766712924C48103436 @default.
- W766712924 hasConceptScore W766712924C548217200 @default.
- W766712924 hasConceptScore W766712924C75291252 @default.
- W766712924 hasConceptScore W766712924C80444323 @default.
- W766712924 hasLocation W7667129241 @default.
- W766712924 hasOpenAccess W766712924 @default.
- W766712924 hasPrimaryLocation W7667129241 @default.
- W766712924 hasRelatedWork W1519345549 @default.
- W766712924 hasRelatedWork W1524123945 @default.
- W766712924 hasRelatedWork W1554313857 @default.
- W766712924 hasRelatedWork W1739770529 @default.
- W766712924 hasRelatedWork W1932714653 @default.
- W766712924 hasRelatedWork W2026371905 @default.
- W766712924 hasRelatedWork W2028073658 @default.
- W766712924 hasRelatedWork W2040318030 @default.
- W766712924 hasRelatedWork W2041252769 @default.
- W766712924 hasRelatedWork W2051629359 @default.
- W766712924 hasRelatedWork W2068892086 @default.
- W766712924 hasRelatedWork W2110333676 @default.
- W766712924 hasRelatedWork W2118629387 @default.
- W766712924 hasRelatedWork W2119688369 @default.
- W766712924 hasRelatedWork W2121741338 @default.
- W766712924 hasRelatedWork W2129742967 @default.
- W766712924 hasRelatedWork W2138284121 @default.
- W766712924 hasRelatedWork W2598788665 @default.
- W766712924 hasRelatedWork W3169000564 @default.
- W766712924 hasRelatedWork W1879560764 @default.
- W766712924 isParatext "false" @default.
- W766712924 isRetracted "false" @default.
- W766712924 magId "766712924" @default.
- W766712924 workType "article" @default.