Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990656354> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W1990656354 abstract "A new representation for inter-procedural analysis is presented. The representation only uses regular graph theory with guarded edges and variables for easy integration with model checkers but is limited to binary lattice inter-procedural analysis only." @default.
- W1990656354 created "2016-06-24" @default.
- W1990656354 creator A5066049050 @default.
- W1990656354 date "2010-09-20" @default.
- W1990656354 modified "2023-09-23" @default.
- W1990656354 title "Model checking graph representation of precise boolean inter-procedural flow analysis" @default.
- W1990656354 cites W2052664195 @default.
- W1990656354 cites W2080573945 @default.
- W1990656354 cites W2103714221 @default.
- W1990656354 cites W2131195907 @default.
- W1990656354 cites W2138965497 @default.
- W1990656354 cites W2153179003 @default.
- W1990656354 cites W4242057943 @default.
- W1990656354 doi "https://doi.org/10.1145/1858996.1859099" @default.
- W1990656354 hasPublicationYear "2010" @default.
- W1990656354 type Work @default.
- W1990656354 sameAs 1990656354 @default.
- W1990656354 citedByCount "1" @default.
- W1990656354 countsByYear W19906563542018 @default.
- W1990656354 crossrefType "proceedings-article" @default.
- W1990656354 hasAuthorship W1990656354A5066049050 @default.
- W1990656354 hasConcept C11413529 @default.
- W1990656354 hasConcept C132525143 @default.
- W1990656354 hasConcept C17744445 @default.
- W1990656354 hasConcept C199539241 @default.
- W1990656354 hasConcept C27458966 @default.
- W1990656354 hasConcept C2776359362 @default.
- W1990656354 hasConcept C3309909 @default.
- W1990656354 hasConcept C41008148 @default.
- W1990656354 hasConcept C80444323 @default.
- W1990656354 hasConcept C94625758 @default.
- W1990656354 hasConceptScore W1990656354C11413529 @default.
- W1990656354 hasConceptScore W1990656354C132525143 @default.
- W1990656354 hasConceptScore W1990656354C17744445 @default.
- W1990656354 hasConceptScore W1990656354C199539241 @default.
- W1990656354 hasConceptScore W1990656354C27458966 @default.
- W1990656354 hasConceptScore W1990656354C2776359362 @default.
- W1990656354 hasConceptScore W1990656354C3309909 @default.
- W1990656354 hasConceptScore W1990656354C41008148 @default.
- W1990656354 hasConceptScore W1990656354C80444323 @default.
- W1990656354 hasConceptScore W1990656354C94625758 @default.
- W1990656354 hasLocation W19906563541 @default.
- W1990656354 hasOpenAccess W1990656354 @default.
- W1990656354 hasPrimaryLocation W19906563541 @default.
- W1990656354 hasRelatedWork W138953331 @default.
- W1990656354 hasRelatedWork W1531814151 @default.
- W1990656354 hasRelatedWork W1550288578 @default.
- W1990656354 hasRelatedWork W179661928 @default.
- W1990656354 hasRelatedWork W1826416243 @default.
- W1990656354 hasRelatedWork W2096067805 @default.
- W1990656354 hasRelatedWork W2115698906 @default.
- W1990656354 hasRelatedWork W2363886702 @default.
- W1990656354 hasRelatedWork W4300631294 @default.
- W1990656354 hasRelatedWork W2500461980 @default.
- W1990656354 isParatext "false" @default.
- W1990656354 isRetracted "false" @default.
- W1990656354 magId "1990656354" @default.
- W1990656354 workType "article" @default.