FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4242421104> ?p ?o ?g. }

• W4242421104 endingPage "405" @default.
• W4242421104 startingPage "390" @default.
• W4242421104 abstract "Debugging is difficult. When software fails in production, debugging is even harder, as failure reports usually provide only an incomplete picture of the failing execution. We present a system that answers control-flow queries posed by developers as formal languages, indicating whether the query expresses control flow that is possible or impossible for a given failure report. We consider three separate approaches that trade off precision, expressiveness for failure constraints, and scalability. We also introduce a new subclass of regular languages, the unreliable trace languages, which are particularly suited to answering control-flow queries in polynomial time. Our system answers queries remarkably efficiently when we encode failure constraints and user queries entirely as unreliable trace languages." @default.
• W4242421104 created "2022-05-12" @default.
• W4242421104 creator A5030632138 @default.
• W4242421104 creator A5080785784 @default.
• W4242421104 creator A5085720140 @default.
• W4242421104 creator A5089920000 @default.
• W4242421104 date "2017-06-14" @default.
• W4242421104 modified "2023-10-14" @default.
• W4242421104 title "Control-flow recovery from partial failure reports" @default.
• W4242421104 cites W122051056 @default.
• W4242421104 cites W1492682035 @default.
• W4242421104 cites W1725941862 @default.
• W4242421104 cites W1767990287 @default.
• W4242421104 cites W1826894354 @default.
• W4242421104 cites W1969214513 @default.
• W4242421104 cites W1969962573 @default.
• W4242421104 cites W1970803519 @default.
• W4242421104 cites W1971137495 @default.
• W4242421104 cites W1973924171 @default.
• W4242421104 cites W1987846217 @default.
• W4242421104 cites W1989943413 @default.
• W4242421104 cites W2015265712 @default.
• W4242421104 cites W2017996596 @default.
• W4242421104 cites W2039529128 @default.
• W4242421104 cites W2049569824 @default.
• W4242421104 cites W2072596778 @default.
• W4242421104 cites W2097576663 @default.
• W4242421104 cites W2103552788 @default.
• W4242421104 cites W2113404202 @default.
• W4242421104 cites W2132383311 @default.
• W4242421104 cites W2149222015 @default.
• W4242421104 cites W2153185479 @default.
• W4242421104 cites W2155891645 @default.
• W4242421104 cites W2155904927 @default.
• W4242421104 cites W2157260510 @default.
• W4242421104 cites W2165811181 @default.
• W4242421104 cites W2293302624 @default.
• W4242421104 cites W2296291039 @default.
• W4242421104 cites W2507618760 @default.
• W4242421104 cites W4233793161 @default.
• W4242421104 cites W4234943353 @default.
• W4242421104 doi "https://doi.org/10.1145/3140587.3062368" @default.
• W4242421104 hasPublicationYear "2017" @default.
• W4242421104 type Work @default.
• W4242421104 citedByCount "0" @default.
• W4242421104 crossrefType "journal-article" @default.
• W4242421104 hasAuthorship W4242421104A5030632138 @default.
• W4242421104 hasAuthorship W4242421104A5080785784 @default.
• W4242421104 hasAuthorship W4242421104A5085720140 @default.
• W4242421104 hasAuthorship W4242421104A5089920000 @default.
• W4242421104 hasBestOaLocation W42424211041 @default.
• W4242421104 hasConcept C138885662 @default.
• W4242421104 hasConcept C146206909 @default.
• W4242421104 hasConcept C154945302 @default.
• W4242421104 hasConcept C160191386 @default.
• W4242421104 hasConcept C168065819 @default.
• W4242421104 hasConcept C176359209 @default.
• W4242421104 hasConcept C192028432 @default.
• W4242421104 hasConcept C199360897 @default.
• W4242421104 hasConcept C2775924081 @default.
• W4242421104 hasConcept C34165917 @default.
• W4242421104 hasConcept C41008148 @default.
• W4242421104 hasConcept C41895202 @default.
• W4242421104 hasConcept C48044578 @default.
• W4242421104 hasConcept C489000 @default.
• W4242421104 hasConcept C50033165 @default.
• W4242421104 hasConcept C75291252 @default.
• W4242421104 hasConcept C77088390 @default.
• W4242421104 hasConcept C80444323 @default.
• W4242421104 hasConceptScore W4242421104C138885662 @default.
• W4242421104 hasConceptScore W4242421104C146206909 @default.
• W4242421104 hasConceptScore W4242421104C154945302 @default.
• W4242421104 hasConceptScore W4242421104C160191386 @default.
• W4242421104 hasConceptScore W4242421104C168065819 @default.
• W4242421104 hasConceptScore W4242421104C176359209 @default.
• W4242421104 hasConceptScore W4242421104C192028432 @default.
• W4242421104 hasConceptScore W4242421104C199360897 @default.
• W4242421104 hasConceptScore W4242421104C2775924081 @default.
• W4242421104 hasConceptScore W4242421104C34165917 @default.
• W4242421104 hasConceptScore W4242421104C41008148 @default.
• W4242421104 hasConceptScore W4242421104C41895202 @default.
• W4242421104 hasConceptScore W4242421104C48044578 @default.
• W4242421104 hasConceptScore W4242421104C489000 @default.
• W4242421104 hasConceptScore W4242421104C50033165 @default.
• W4242421104 hasConceptScore W4242421104C75291252 @default.
• W4242421104 hasConceptScore W4242421104C77088390 @default.
• W4242421104 hasConceptScore W4242421104C80444323 @default.
• W4242421104 hasIssue "6" @default.
• W4242421104 hasLocation W42424211041 @default.
• W4242421104 hasOpenAccess W4242421104 @default.
• W4242421104 hasPrimaryLocation W42424211041 @default.
• W4242421104 hasRelatedWork W105941708 @default.
• W4242421104 hasRelatedWork W1492639624 @default.
• W4242421104 hasRelatedWork W1544341893 @default.
• W4242421104 hasRelatedWork W1565879960 @default.
• W4242421104 hasRelatedWork W2038310752 @default.
• W4242421104 hasRelatedWork W2115737686 @default.
• W4242421104 hasRelatedWork W3087224274 @default.

• next