Matches in SemOpenAlex for { <https://semopenalex.org/work/W96871085> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W96871085 abstract "Program analysis tools are based on four reasoning techniques: (1) deduction from code to concrete runs, (2) observation of concrete runs, (3) induction from observations into abstractions, and (4) experimentation to find causes for specific effects. These techniques form a hierarchy, where each technique can make use of lower levels, and where each technique induces capabilities and limits of the associated tools." @default.
- W96871085 created "2016-06-24" @default.
- W96871085 creator A5051672229 @default.
- W96871085 date "2003-01-01" @default.
- W96871085 modified "2023-09-26" @default.
- W96871085 title "Program Analysis: A Hierarchy" @default.
- W96871085 cites W1521711401 @default.
- W96871085 cites W1582415544 @default.
- W96871085 cites W1984248430 @default.
- W96871085 cites W1985444680 @default.
- W96871085 cites W1993836075 @default.
- W96871085 cites W2007181618 @default.
- W96871085 cites W2026117800 @default.
- W96871085 cites W2079055089 @default.
- W96871085 cites W2088126145 @default.
- W96871085 cites W2101665709 @default.
- W96871085 cites W2116409384 @default.
- W96871085 cites W2116973066 @default.
- W96871085 cites W2119452943 @default.
- W96871085 cites W2121081915 @default.
- W96871085 cites W2124796303 @default.
- W96871085 cites W2133976022 @default.
- W96871085 cites W2141109493 @default.
- W96871085 cites W2162045655 @default.
- W96871085 cites W2165026393 @default.
- W96871085 cites W2295303622 @default.
- W96871085 cites W303139982 @default.
- W96871085 cites W3106729728 @default.
- W96871085 cites W626305622 @default.
- W96871085 hasPublicationYear "2003" @default.
- W96871085 type Work @default.
- W96871085 sameAs 96871085 @default.
- W96871085 citedByCount "6" @default.
- W96871085 countsByYear W968710852013 @default.
- W96871085 crossrefType "journal-article" @default.
- W96871085 hasAuthorship W96871085A5051672229 @default.
- W96871085 hasConcept C115903868 @default.
- W96871085 hasConcept C162324750 @default.
- W96871085 hasConcept C177264268 @default.
- W96871085 hasConcept C199360897 @default.
- W96871085 hasConcept C2776760102 @default.
- W96871085 hasConcept C31170391 @default.
- W96871085 hasConcept C34447519 @default.
- W96871085 hasConcept C41008148 @default.
- W96871085 hasConcept C80444323 @default.
- W96871085 hasConcept C98183937 @default.
- W96871085 hasConceptScore W96871085C115903868 @default.
- W96871085 hasConceptScore W96871085C162324750 @default.
- W96871085 hasConceptScore W96871085C177264268 @default.
- W96871085 hasConceptScore W96871085C199360897 @default.
- W96871085 hasConceptScore W96871085C2776760102 @default.
- W96871085 hasConceptScore W96871085C31170391 @default.
- W96871085 hasConceptScore W96871085C34447519 @default.
- W96871085 hasConceptScore W96871085C41008148 @default.
- W96871085 hasConceptScore W96871085C80444323 @default.
- W96871085 hasConceptScore W96871085C98183937 @default.
- W96871085 hasLocation W968710851 @default.
- W96871085 hasOpenAccess W96871085 @default.
- W96871085 hasPrimaryLocation W968710851 @default.
- W96871085 hasRelatedWork W175329226 @default.
- W96871085 hasRelatedWork W2070545726 @default.
- W96871085 hasRelatedWork W2095003087 @default.
- W96871085 hasRelatedWork W2113151232 @default.
- W96871085 hasRelatedWork W2121081915 @default.
- W96871085 hasRelatedWork W2166766372 @default.
- W96871085 hasRelatedWork W2281287867 @default.
- W96871085 hasRelatedWork W2336056827 @default.
- W96871085 hasRelatedWork W2391404641 @default.
- W96871085 hasRelatedWork W3021351646 @default.
- W96871085 hasRelatedWork W304185433 @default.
- W96871085 hasRelatedWork W3106729728 @default.
- W96871085 hasRelatedWork W333540303 @default.
- W96871085 hasRelatedWork W572495984 @default.
- W96871085 hasRelatedWork W601294861 @default.
- W96871085 hasRelatedWork W834583966 @default.
- W96871085 hasRelatedWork W115507347 @default.
- W96871085 hasRelatedWork W1589952874 @default.
- W96871085 hasRelatedWork W2832937282 @default.
- W96871085 hasRelatedWork W2869535872 @default.
- W96871085 isParatext "false" @default.
- W96871085 isRetracted "false" @default.
- W96871085 magId "96871085" @default.
- W96871085 workType "article" @default.