Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952320176> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2952320176 abstract "It is important that practical data-flow analyzers are backed by reliably proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic properties for an abstract domain to be well-defined and sound with respect to the concrete semantics. In logic programming, the abstract domain Sharing is a standard choice for sharing analysis for both practical work and further theoretical study. In spite of this, we found that there were no satisfactory proofs for the key properties of commutativity and idempotence that are essential for Sharing to be well-defined and that published statements of the soundness of Sharing assume the occurs-check. This paper provides a generalization of the abstraction function for Sharing that can be applied to any language, with or without the occurs-check. Results for soundness, idempotence and commutativity for abstract unification using this abstraction function are proven." @default.
- W2952320176 created "2019-06-27" @default.
- W2952320176 creator A5022948889 @default.
- W2952320176 creator A5057370941 @default.
- W2952320176 creator A5065794938 @default.
- W2952320176 date "2001-02-27" @default.
- W2952320176 modified "2023-09-27" @default.
- W2952320176 title "Soundness, Idempotence and Commutativity of Set-Sharing" @default.
- W2952320176 cites W100418935 @default.
- W2952320176 cites W1585736418 @default.
- W2952320176 cites W1856681682 @default.
- W2952320176 cites W1943771961 @default.
- W2952320176 cites W1965377774 @default.
- W2952320176 cites W1970730703 @default.
- W2952320176 cites W2001265243 @default.
- W2952320176 cites W2044969589 @default.
- W2952320176 cites W2081673010 @default.
- W2952320176 cites W2083081801 @default.
- W2952320176 cites W2100738443 @default.
- W2952320176 cites W2120329038 @default.
- W2952320176 cites W2914892239 @default.
- W2952320176 hasPublicationYear "2001" @default.
- W2952320176 type Work @default.
- W2952320176 sameAs 2952320176 @default.
- W2952320176 citedByCount "2" @default.
- W2952320176 crossrefType "posted-content" @default.
- W2952320176 hasAuthorship W2952320176A5022948889 @default.
- W2952320176 hasAuthorship W2952320176A5057370941 @default.
- W2952320176 hasAuthorship W2952320176A5065794938 @default.
- W2952320176 hasConcept C108710211 @default.
- W2952320176 hasConcept C111472728 @default.
- W2952320176 hasConcept C124304363 @default.
- W2952320176 hasConcept C134306372 @default.
- W2952320176 hasConcept C138885662 @default.
- W2952320176 hasConcept C167729594 @default.
- W2952320176 hasConcept C172252984 @default.
- W2952320176 hasConcept C177148314 @default.
- W2952320176 hasConcept C177264268 @default.
- W2952320176 hasConcept C183778304 @default.
- W2952320176 hasConcept C199360897 @default.
- W2952320176 hasConcept C202444582 @default.
- W2952320176 hasConcept C2524010 @default.
- W2952320176 hasConcept C2780654840 @default.
- W2952320176 hasConcept C33923547 @default.
- W2952320176 hasConcept C39920170 @default.
- W2952320176 hasConcept C41008148 @default.
- W2952320176 hasConcept C80444323 @default.
- W2952320176 hasConcept C96146094 @default.
- W2952320176 hasConceptScore W2952320176C108710211 @default.
- W2952320176 hasConceptScore W2952320176C111472728 @default.
- W2952320176 hasConceptScore W2952320176C124304363 @default.
- W2952320176 hasConceptScore W2952320176C134306372 @default.
- W2952320176 hasConceptScore W2952320176C138885662 @default.
- W2952320176 hasConceptScore W2952320176C167729594 @default.
- W2952320176 hasConceptScore W2952320176C172252984 @default.
- W2952320176 hasConceptScore W2952320176C177148314 @default.
- W2952320176 hasConceptScore W2952320176C177264268 @default.
- W2952320176 hasConceptScore W2952320176C183778304 @default.
- W2952320176 hasConceptScore W2952320176C199360897 @default.
- W2952320176 hasConceptScore W2952320176C202444582 @default.
- W2952320176 hasConceptScore W2952320176C2524010 @default.
- W2952320176 hasConceptScore W2952320176C2780654840 @default.
- W2952320176 hasConceptScore W2952320176C33923547 @default.
- W2952320176 hasConceptScore W2952320176C39920170 @default.
- W2952320176 hasConceptScore W2952320176C41008148 @default.
- W2952320176 hasConceptScore W2952320176C80444323 @default.
- W2952320176 hasConceptScore W2952320176C96146094 @default.
- W2952320176 hasLocation W29523201761 @default.
- W2952320176 hasOpenAccess W2952320176 @default.
- W2952320176 hasPrimaryLocation W29523201761 @default.
- W2952320176 hasRelatedWork W1510808562 @default.
- W2952320176 hasRelatedWork W1513193534 @default.
- W2952320176 hasRelatedWork W1516218099 @default.
- W2952320176 hasRelatedWork W1560733996 @default.
- W2952320176 hasRelatedWork W1602113634 @default.
- W2952320176 hasRelatedWork W1845792698 @default.
- W2952320176 hasRelatedWork W1995361020 @default.
- W2952320176 hasRelatedWork W2021081188 @default.
- W2952320176 hasRelatedWork W2052184002 @default.
- W2952320176 hasRelatedWork W2155937878 @default.
- W2952320176 hasRelatedWork W2399951213 @default.
- W2952320176 hasRelatedWork W2809678222 @default.
- W2952320176 hasRelatedWork W2945188579 @default.
- W2952320176 hasRelatedWork W2950771850 @default.
- W2952320176 hasRelatedWork W2952550495 @default.
- W2952320176 hasRelatedWork W3015754167 @default.
- W2952320176 hasRelatedWork W3033059456 @default.
- W2952320176 hasRelatedWork W3108594459 @default.
- W2952320176 hasRelatedWork W3141833118 @default.
- W2952320176 hasRelatedWork W3178034096 @default.
- W2952320176 isParatext "false" @default.
- W2952320176 isRetracted "false" @default.
- W2952320176 magId "2952320176" @default.
- W2952320176 workType "article" @default.