Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287863313> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4287863313 abstract "Stream Runtime Verification is a formal dynamic analysis technique that generalizes runtime verification algorithms from temporal logics like LTL to stream monitoring, allowing to compute richer verdicts than Booleans (including quantitative and arbitrary data). In this paper we study the problem of implementing an SRV engine that is truly extensible to arbitrary data theories, and we propose a solution as a Haskell embedded domain specific language. In spite of the theoretical clean separation in SRV between temporal dependencies and data computations, previous engines include ad-hoc implementations of a few data types, requiring complex changes to incorporate new data theories. We propose here an SRV language called hLola that borrows general Haskell types and embeds them transparently into an eDSL. This novel technique, which we call lift deep embedding, allows for example, the use of higher-order functions for static stream parameterization. We describe the Haskell implementation of hLola and illustrate simple extensions implemented using libraries, which require long and error-prone additions in other ad-hoc SRV formalisms." @default.
- W4287863313 created "2022-07-26" @default.
- W4287863313 creator A5015623381 @default.
- W4287863313 creator A5028700830 @default.
- W4287863313 creator A5045302798 @default.
- W4287863313 date "2020-02-28" @default.
- W4287863313 modified "2023-09-27" @default.
- W4287863313 title "Declarative Stream Runtime Verification (hLola)" @default.
- W4287863313 doi "https://doi.org/10.48550/arxiv.2003.00032" @default.
- W4287863313 hasPublicationYear "2020" @default.
- W4287863313 type Work @default.
- W4287863313 citedByCount "0" @default.
- W4287863313 crossrefType "posted-content" @default.
- W4287863313 hasAuthorship W4287863313A5015623381 @default.
- W4287863313 hasAuthorship W4287863313A5028700830 @default.
- W4287863313 hasAuthorship W4287863313A5045302798 @default.
- W4287863313 hasBestOaLocation W42878633131 @default.
- W4287863313 hasConcept C111498074 @default.
- W4287863313 hasConcept C124101348 @default.
- W4287863313 hasConcept C135257023 @default.
- W4287863313 hasConcept C139002025 @default.
- W4287863313 hasConcept C154945302 @default.
- W4287863313 hasConcept C169590947 @default.
- W4287863313 hasConcept C171018156 @default.
- W4287863313 hasConcept C199360897 @default.
- W4287863313 hasConcept C202973057 @default.
- W4287863313 hasConcept C2524010 @default.
- W4287863313 hasConcept C2780624054 @default.
- W4287863313 hasConcept C2780870223 @default.
- W4287863313 hasConcept C33923547 @default.
- W4287863313 hasConcept C41008148 @default.
- W4287863313 hasConcept C41608201 @default.
- W4287863313 hasConcept C42383842 @default.
- W4287863313 hasConcept C80444323 @default.
- W4287863313 hasConceptScore W4287863313C111498074 @default.
- W4287863313 hasConceptScore W4287863313C124101348 @default.
- W4287863313 hasConceptScore W4287863313C135257023 @default.
- W4287863313 hasConceptScore W4287863313C139002025 @default.
- W4287863313 hasConceptScore W4287863313C154945302 @default.
- W4287863313 hasConceptScore W4287863313C169590947 @default.
- W4287863313 hasConceptScore W4287863313C171018156 @default.
- W4287863313 hasConceptScore W4287863313C199360897 @default.
- W4287863313 hasConceptScore W4287863313C202973057 @default.
- W4287863313 hasConceptScore W4287863313C2524010 @default.
- W4287863313 hasConceptScore W4287863313C2780624054 @default.
- W4287863313 hasConceptScore W4287863313C2780870223 @default.
- W4287863313 hasConceptScore W4287863313C33923547 @default.
- W4287863313 hasConceptScore W4287863313C41008148 @default.
- W4287863313 hasConceptScore W4287863313C41608201 @default.
- W4287863313 hasConceptScore W4287863313C42383842 @default.
- W4287863313 hasConceptScore W4287863313C80444323 @default.
- W4287863313 hasLocation W42878633131 @default.
- W4287863313 hasOpenAccess W4287863313 @default.
- W4287863313 hasPrimaryLocation W42878633131 @default.
- W4287863313 hasRelatedWork W11382227 @default.
- W4287863313 hasRelatedWork W11646169 @default.
- W4287863313 hasRelatedWork W12770423 @default.
- W4287863313 hasRelatedWork W13855192 @default.
- W4287863313 hasRelatedWork W143687 @default.
- W4287863313 hasRelatedWork W14710392 @default.
- W4287863313 hasRelatedWork W3927308 @default.
- W4287863313 hasRelatedWork W5450866 @default.
- W4287863313 hasRelatedWork W5793364 @default.
- W4287863313 hasRelatedWork W7434907 @default.
- W4287863313 isParatext "false" @default.
- W4287863313 isRetracted "false" @default.
- W4287863313 workType "article" @default.