FRINK Linked Data Fragments server

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

• W1545371423 endingPage "298" @default.
• W1545371423 startingPage "282" @default.
• W1545371423 abstract "Analysis of recursive programs in the presence of concurrency and shared memory is undecidable. In previous work, Qadeer and Rehof [23] showed that context-bounded analysis is decidable for recursive programs under a finite-state abstraction of program data. In this paper, we show that context-bounded analysis is decidable for certain families of infinite-state abstractions, and also provide a new symbolic algorithm for the finite-state case." @default.
• W1545371423 created "2016-06-24" @default.
• W1545371423 creator A5029896782 @default.
• W1545371423 creator A5029930688 @default.
• W1545371423 creator A5044579457 @default.
• W1545371423 creator A5066155126 @default.
• W1545371423 date "2008-04-02" @default.
• W1545371423 modified "2023-10-17" @default.
• W1545371423 title "Interprocedural Analysis of Concurrent Programs Under a Context Bound" @default.
• W1545371423 cites W1485975206 @default.
• W1545371423 cites W1491036809 @default.
• W1545371423 cites W1493367105 @default.
• W1545371423 cites W1550653935 @default.
• W1545371423 cites W1553894716 @default.
• W1545371423 cites W1905205673 @default.
• W1545371423 cites W1911833263 @default.
• W1545371423 cites W2060345611 @default.
• W1545371423 cites W2080573945 @default.
• W1545371423 cites W2093709900 @default.
• W1545371423 cites W2099608328 @default.
• W1545371423 cites W2128453996 @default.
• W1545371423 cites W2132295002 @default.
• W1545371423 cites W2135948849 @default.
• W1545371423 cites W2160520283 @default.
• W1545371423 cites W2171834078 @default.
• W1545371423 cites W2258595992 @default.
• W1545371423 cites W4242057943 @default.
• W1545371423 cites W4247858957 @default.
• W1545371423 cites W4248642125 @default.
• W1545371423 cites W4301322018 @default.
• W1545371423 cites W4301467326 @default.
• W1545371423 doi "https://doi.org/10.1007/978-3-540-78800-3_20" @default.
• W1545371423 hasPublicationYear "2008" @default.
• W1545371423 type Work @default.
• W1545371423 sameAs 1545371423 @default.
• W1545371423 citedByCount "58" @default.
• W1545371423 countsByYear W15453714232012 @default.
• W1545371423 countsByYear W15453714232013 @default.
• W1545371423 countsByYear W15453714232014 @default.
• W1545371423 countsByYear W15453714232015 @default.
• W1545371423 countsByYear W15453714232016 @default.
• W1545371423 countsByYear W15453714232017 @default.
• W1545371423 countsByYear W15453714232018 @default.
• W1545371423 countsByYear W15453714232022 @default.
• W1545371423 crossrefType "book-chapter" @default.
• W1545371423 hasAuthorship W1545371423A5029896782 @default.
• W1545371423 hasAuthorship W1545371423A5029930688 @default.
• W1545371423 hasAuthorship W1545371423A5044579457 @default.
• W1545371423 hasAuthorship W1545371423A5066155126 @default.
• W1545371423 hasBestOaLocation W15453714231 @default.
• W1545371423 hasConcept C110251889 @default.
• W1545371423 hasConcept C111472728 @default.
• W1545371423 hasConcept C124304363 @default.
• W1545371423 hasConcept C134306372 @default.
• W1545371423 hasConcept C138885662 @default.
• W1545371423 hasConcept C151730666 @default.
• W1545371423 hasConcept C153269930 @default.
• W1545371423 hasConcept C167822520 @default.
• W1545371423 hasConcept C192034797 @default.
• W1545371423 hasConcept C193702766 @default.
• W1545371423 hasConcept C199360897 @default.
• W1545371423 hasConcept C2779343474 @default.
• W1545371423 hasConcept C33923547 @default.
• W1545371423 hasConcept C34388435 @default.
• W1545371423 hasConcept C41008148 @default.
• W1545371423 hasConcept C48103436 @default.
• W1545371423 hasConcept C80444323 @default.
• W1545371423 hasConcept C86803240 @default.
• W1545371423 hasConceptScore W1545371423C110251889 @default.
• W1545371423 hasConceptScore W1545371423C111472728 @default.
• W1545371423 hasConceptScore W1545371423C124304363 @default.
• W1545371423 hasConceptScore W1545371423C134306372 @default.
• W1545371423 hasConceptScore W1545371423C138885662 @default.
• W1545371423 hasConceptScore W1545371423C151730666 @default.
• W1545371423 hasConceptScore W1545371423C153269930 @default.
• W1545371423 hasConceptScore W1545371423C167822520 @default.
• W1545371423 hasConceptScore W1545371423C192034797 @default.
• W1545371423 hasConceptScore W1545371423C193702766 @default.
• W1545371423 hasConceptScore W1545371423C199360897 @default.
• W1545371423 hasConceptScore W1545371423C2779343474 @default.
• W1545371423 hasConceptScore W1545371423C33923547 @default.
• W1545371423 hasConceptScore W1545371423C34388435 @default.
• W1545371423 hasConceptScore W1545371423C41008148 @default.
• W1545371423 hasConceptScore W1545371423C48103436 @default.
• W1545371423 hasConceptScore W1545371423C80444323 @default.
• W1545371423 hasConceptScore W1545371423C86803240 @default.
• W1545371423 hasLocation W15453714231 @default.
• W1545371423 hasLocation W15453714232 @default.
• W1545371423 hasLocation W15453714233 @default.
• W1545371423 hasOpenAccess W1545371423 @default.
• W1545371423 hasPrimaryLocation W15453714231 @default.
• W1545371423 hasRelatedWork W1584462731 @default.
• W1545371423 hasRelatedWork W2038320736 @default.
• W1545371423 hasRelatedWork W2803699674 @default.
• W1545371423 hasRelatedWork W3159133453 @default.
• W1545371423 hasRelatedWork W3159912674 @default.
• W1545371423 hasRelatedWork W3177160037 @default.
• W1545371423 hasRelatedWork W3184417962 @default.

• next