Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567888042> ?p ?o ?g. }
- W1567888042 endingPage "30" @default.
- W1567888042 startingPage "15" @default.
- W1567888042 abstract "This paper reviews the principles behind the paradigm of “abstract interpretation via 3-valued logic,” discusses recent work to extend the approach, and summarizes on-going research aimed at overcoming remaining limitations on the ability to create program-analysis algorithms fully automatically." @default.
- W1567888042 created "2016-06-24" @default.
- W1567888042 creator A5002512849 @default.
- W1567888042 creator A5066155126 @default.
- W1567888042 creator A5071295289 @default.
- W1567888042 date "2004-01-01" @default.
- W1567888042 modified "2023-10-17" @default.
- W1567888042 title "Static Program Analysis via 3-Valued Logic" @default.
- W1567888042 cites W1480370622 @default.
- W1567888042 cites W1482233117 @default.
- W1567888042 cites W1483359125 @default.
- W1567888042 cites W1497571013 @default.
- W1567888042 cites W1500085611 @default.
- W1567888042 cites W1509268249 @default.
- W1567888042 cites W1535237014 @default.
- W1567888042 cites W153567890 @default.
- W1567888042 cites W1536783297 @default.
- W1567888042 cites W1553858749 @default.
- W1567888042 cites W1557880268 @default.
- W1567888042 cites W1575079504 @default.
- W1567888042 cites W1602537816 @default.
- W1567888042 cites W1734116059 @default.
- W1567888042 cites W1957766372 @default.
- W1567888042 cites W1991837261 @default.
- W1567888042 cites W2014764321 @default.
- W1567888042 cites W2040060046 @default.
- W1567888042 cites W2043100293 @default.
- W1567888042 cites W2078739669 @default.
- W1567888042 cites W2080593426 @default.
- W1567888042 cites W2084974764 @default.
- W1567888042 cites W2092282367 @default.
- W1567888042 cites W2131135493 @default.
- W1567888042 cites W2132661148 @default.
- W1567888042 cites W2135274583 @default.
- W1567888042 cites W2141330646 @default.
- W1567888042 cites W2156549049 @default.
- W1567888042 cites W2157324378 @default.
- W1567888042 cites W2158395308 @default.
- W1567888042 cites W2158600037 @default.
- W1567888042 cites W2166858727 @default.
- W1567888042 cites W3018596786 @default.
- W1567888042 cites W3033386533 @default.
- W1567888042 cites W3125271655 @default.
- W1567888042 cites W3162457459 @default.
- W1567888042 cites W4231021522 @default.
- W1567888042 cites W4235785239 @default.
- W1567888042 cites W4252150051 @default.
- W1567888042 cites W4255917054 @default.
- W1567888042 doi "https://doi.org/10.1007/978-3-540-27813-9_2" @default.
- W1567888042 hasPublicationYear "2004" @default.
- W1567888042 type Work @default.
- W1567888042 sameAs 1567888042 @default.
- W1567888042 citedByCount "44" @default.
- W1567888042 countsByYear W15678880422012 @default.
- W1567888042 countsByYear W15678880422013 @default.
- W1567888042 countsByYear W15678880422015 @default.
- W1567888042 countsByYear W15678880422017 @default.
- W1567888042 countsByYear W15678880422018 @default.
- W1567888042 countsByYear W15678880422019 @default.
- W1567888042 countsByYear W15678880422020 @default.
- W1567888042 countsByYear W15678880422021 @default.
- W1567888042 countsByYear W15678880422022 @default.
- W1567888042 countsByYear W15678880422023 @default.
- W1567888042 crossrefType "book-chapter" @default.
- W1567888042 hasAuthorship W1567888042A5002512849 @default.
- W1567888042 hasAuthorship W1567888042A5066155126 @default.
- W1567888042 hasAuthorship W1567888042A5071295289 @default.
- W1567888042 hasBestOaLocation W15678880421 @default.
- W1567888042 hasConcept C115903868 @default.
- W1567888042 hasConcept C128838566 @default.
- W1567888042 hasConcept C199360897 @default.
- W1567888042 hasConcept C2780654840 @default.
- W1567888042 hasConcept C2987117450 @default.
- W1567888042 hasConcept C41008148 @default.
- W1567888042 hasConcept C527412718 @default.
- W1567888042 hasConceptScore W1567888042C115903868 @default.
- W1567888042 hasConceptScore W1567888042C128838566 @default.
- W1567888042 hasConceptScore W1567888042C199360897 @default.
- W1567888042 hasConceptScore W1567888042C2780654840 @default.
- W1567888042 hasConceptScore W1567888042C2987117450 @default.
- W1567888042 hasConceptScore W1567888042C41008148 @default.
- W1567888042 hasConceptScore W1567888042C527412718 @default.
- W1567888042 hasLocation W15678880421 @default.
- W1567888042 hasOpenAccess W1567888042 @default.
- W1567888042 hasPrimaryLocation W15678880421 @default.
- W1567888042 hasRelatedWork W1490546714 @default.
- W1567888042 hasRelatedWork W1492397127 @default.
- W1567888042 hasRelatedWork W2068981034 @default.
- W1567888042 hasRelatedWork W2092817854 @default.
- W1567888042 hasRelatedWork W2172022734 @default.
- W1567888042 hasRelatedWork W2386369021 @default.
- W1567888042 hasRelatedWork W2952657391 @default.
- W1567888042 hasRelatedWork W3137189469 @default.
- W1567888042 hasRelatedWork W3169777496 @default.
- W1567888042 hasRelatedWork W4245681215 @default.
- W1567888042 isParatext "false" @default.
- W1567888042 isRetracted "false" @default.
- W1567888042 magId "1567888042" @default.