FRINK Linked Data Fragments server

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

• W2895876325 abstract "Our aim is to statically verify that in a given reactive program, the length of collection variables does not grow beyond a given bound. We propose a scalable type-based technique that checks that each collection variable has a given refinement type that specifies constraints about its length. A novel feature of our refinement types is that the refinements can refer to AST counters that track how many times an AST node has been executed. This feature enables type refinements to track limited flow-sensitive information. We generate verification conditions that ensure that the AST counters are used consistently, and that the types imply the given bound. The verification conditions are discharged by an off-the-shelf SMT solver. Experimental results demonstrate that our technique is scalable, and effective at verifying reactive programs with respect to requirements on length of collections." @default.
• W2895876325 created "2018-10-26" @default.
• W2895876325 creator A5020302140 @default.
• W2895876325 creator A5022467266 @default.
• W2895876325 creator A5048756174 @default.
• W2895876325 creator A5072396662 @default.
• W2895876325 date "2019-01-01" @default.
• W2895876325 modified "2023-09-26" @default.
• W2895876325 title "Type-Directed Bounding of Collections in Reactive Programs" @default.
• W2895876325 cites W110849379 @default.
• W2895876325 cites W1480909796 @default.
• W2895876325 cites W1515621470 @default.
• W2895876325 cites W1551651413 @default.
• W2895876325 cites W1575284330 @default.
• W2895876325 cites W1590648473 @default.
• W2895876325 cites W1636902686 @default.
• W2895876325 cites W1981525818 @default.
• W2895876325 cites W2106355420 @default.
• W2895876325 cites W2115215132 @default.
• W2895876325 cites W2135909143 @default.
• W2895876325 cites W2137062096 @default.
• W2895876325 cites W2154843497 @default.
• W2895876325 cites W2159373783 @default.
• W2895876325 cites W2162635569 @default.
• W2895876325 cites W2950483238 @default.
• W2895876325 cites W3005620216 @default.
• W2895876325 cites W3009765366 @default.
• W2895876325 cites W3011727565 @default.
• W2895876325 cites W3014740296 @default.
• W2895876325 cites W3134631687 @default.
• W2895876325 cites W3136358674 @default.
• W2895876325 cites W3136924826 @default.
• W2895876325 cites W4234924236 @default.
• W2895876325 cites W4239420709 @default.
• W2895876325 cites W4240835555 @default.
• W2895876325 cites W4250260334 @default.
• W2895876325 doi "https://doi.org/10.1007/978-3-030-11245-5_13" @default.
• W2895876325 hasPublicationYear "2019" @default.
• W2895876325 type Work @default.
• W2895876325 sameAs 2895876325 @default.
• W2895876325 citedByCount "2" @default.
• W2895876325 countsByYear W28958763252021 @default.
• W2895876325 countsByYear W28958763252023 @default.
• W2895876325 crossrefType "book-chapter" @default.
• W2895876325 hasAuthorship W2895876325A5020302140 @default.
• W2895876325 hasAuthorship W2895876325A5022467266 @default.
• W2895876325 hasAuthorship W2895876325A5048756174 @default.
• W2895876325 hasAuthorship W2895876325A5072396662 @default.
• W2895876325 hasBestOaLocation W28958763252 @default.
• W2895876325 hasConcept C111919701 @default.
• W2895876325 hasConcept C11413529 @default.
• W2895876325 hasConcept C134306372 @default.
• W2895876325 hasConcept C138885662 @default.
• W2895876325 hasConcept C154945302 @default.
• W2895876325 hasConcept C182365436 @default.
• W2895876325 hasConcept C18903297 @default.
• W2895876325 hasConcept C199360897 @default.
• W2895876325 hasConcept C2776401178 @default.
• W2895876325 hasConcept C2777299769 @default.
• W2895876325 hasConcept C2778770139 @default.
• W2895876325 hasConcept C33923547 @default.
• W2895876325 hasConcept C41008148 @default.
• W2895876325 hasConcept C41895202 @default.
• W2895876325 hasConcept C48044578 @default.
• W2895876325 hasConcept C63584917 @default.
• W2895876325 hasConcept C77088390 @default.
• W2895876325 hasConcept C80444323 @default.
• W2895876325 hasConcept C86803240 @default.
• W2895876325 hasConcept C89992363 @default.
• W2895876325 hasConceptScore W2895876325C111919701 @default.
• W2895876325 hasConceptScore W2895876325C11413529 @default.
• W2895876325 hasConceptScore W2895876325C134306372 @default.
• W2895876325 hasConceptScore W2895876325C138885662 @default.
• W2895876325 hasConceptScore W2895876325C154945302 @default.
• W2895876325 hasConceptScore W2895876325C182365436 @default.
• W2895876325 hasConceptScore W2895876325C18903297 @default.
• W2895876325 hasConceptScore W2895876325C199360897 @default.
• W2895876325 hasConceptScore W2895876325C2776401178 @default.
• W2895876325 hasConceptScore W2895876325C2777299769 @default.
• W2895876325 hasConceptScore W2895876325C2778770139 @default.
• W2895876325 hasConceptScore W2895876325C33923547 @default.
• W2895876325 hasConceptScore W2895876325C41008148 @default.
• W2895876325 hasConceptScore W2895876325C41895202 @default.
• W2895876325 hasConceptScore W2895876325C48044578 @default.
• W2895876325 hasConceptScore W2895876325C63584917 @default.
• W2895876325 hasConceptScore W2895876325C77088390 @default.
• W2895876325 hasConceptScore W2895876325C80444323 @default.
• W2895876325 hasConceptScore W2895876325C86803240 @default.
• W2895876325 hasConceptScore W2895876325C89992363 @default.
• W2895876325 hasLocation W28958763251 @default.
• W2895876325 hasLocation W28958763252 @default.
• W2895876325 hasOpenAccess W2895876325 @default.
• W2895876325 hasPrimaryLocation W28958763251 @default.
• W2895876325 hasRelatedWork W1554151238 @default.
• W2895876325 hasRelatedWork W1587475692 @default.
• W2895876325 hasRelatedWork W1604898313 @default.
• W2895876325 hasRelatedWork W2002374337 @default.
• W2895876325 hasRelatedWork W2028271970 @default.
• W2895876325 hasRelatedWork W2040758634 @default.
• W2895876325 hasRelatedWork W2080076943 @default.

• next