Matches in SemOpenAlex for { <https://semopenalex.org/work/W72845705> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W72845705 abstract "In this paper we present a framework for the abstract interpretation of term graph rewriting systems. The framework is based on the approach taken by the Cousots for flowchart programs. We give an example of the use of the framework by presenting an interpretation which performs a form of type inference." @default.
- W72845705 created "2016-06-24" @default.
- W72845705 creator A5013709529 @default.
- W72845705 date "1991-01-01" @default.
- W72845705 modified "2023-09-27" @default.
- W72845705 title "Abstract Interpretation of Term Graph Rewriting Systems" @default.
- W72845705 cites W1481731691 @default.
- W72845705 cites W1525599808 @default.
- W72845705 cites W1557619244 @default.
- W72845705 cites W2043100293 @default.
- W72845705 cites W2130238476 @default.
- W72845705 cites W2147478629 @default.
- W72845705 doi "https://doi.org/10.1007/978-1-4471-3810-5_5" @default.
- W72845705 hasPublicationYear "1991" @default.
- W72845705 type Work @default.
- W72845705 sameAs 72845705 @default.
- W72845705 citedByCount "2" @default.
- W72845705 crossrefType "book-chapter" @default.
- W72845705 hasAuthorship W72845705A5013709529 @default.
- W72845705 hasConcept C121332964 @default.
- W72845705 hasConcept C132525143 @default.
- W72845705 hasConcept C154690210 @default.
- W72845705 hasConcept C154945302 @default.
- W72845705 hasConcept C199360897 @default.
- W72845705 hasConcept C2776214188 @default.
- W72845705 hasConcept C2780654840 @default.
- W72845705 hasConcept C41008148 @default.
- W72845705 hasConcept C527412718 @default.
- W72845705 hasConcept C558772884 @default.
- W72845705 hasConcept C61797465 @default.
- W72845705 hasConcept C62520636 @default.
- W72845705 hasConcept C72041958 @default.
- W72845705 hasConcept C80444323 @default.
- W72845705 hasConceptScore W72845705C121332964 @default.
- W72845705 hasConceptScore W72845705C132525143 @default.
- W72845705 hasConceptScore W72845705C154690210 @default.
- W72845705 hasConceptScore W72845705C154945302 @default.
- W72845705 hasConceptScore W72845705C199360897 @default.
- W72845705 hasConceptScore W72845705C2776214188 @default.
- W72845705 hasConceptScore W72845705C2780654840 @default.
- W72845705 hasConceptScore W72845705C41008148 @default.
- W72845705 hasConceptScore W72845705C527412718 @default.
- W72845705 hasConceptScore W72845705C558772884 @default.
- W72845705 hasConceptScore W72845705C61797465 @default.
- W72845705 hasConceptScore W72845705C62520636 @default.
- W72845705 hasConceptScore W72845705C72041958 @default.
- W72845705 hasConceptScore W72845705C80444323 @default.
- W72845705 hasLocation W728457051 @default.
- W72845705 hasOpenAccess W72845705 @default.
- W72845705 hasPrimaryLocation W728457051 @default.
- W72845705 hasRelatedWork W1485727503 @default.
- W72845705 hasRelatedWork W1489113884 @default.
- W72845705 hasRelatedWork W1501022663 @default.
- W72845705 hasRelatedWork W1590684856 @default.
- W72845705 hasRelatedWork W1605782337 @default.
- W72845705 hasRelatedWork W1819305500 @default.
- W72845705 hasRelatedWork W1964687360 @default.
- W72845705 hasRelatedWork W1995648733 @default.
- W72845705 hasRelatedWork W2031030123 @default.
- W72845705 hasRelatedWork W2055814003 @default.
- W72845705 hasRelatedWork W206915583 @default.
- W72845705 hasRelatedWork W2094641277 @default.
- W72845705 hasRelatedWork W2095776241 @default.
- W72845705 hasRelatedWork W2104998653 @default.
- W72845705 hasRelatedWork W2146571888 @default.
- W72845705 hasRelatedWork W2159195078 @default.
- W72845705 hasRelatedWork W2254742387 @default.
- W72845705 hasRelatedWork W2786736897 @default.
- W72845705 hasRelatedWork W2883853180 @default.
- W72845705 hasRelatedWork W60870644 @default.
- W72845705 isParatext "false" @default.
- W72845705 isRetracted "false" @default.
- W72845705 magId "72845705" @default.
- W72845705 workType "book-chapter" @default.