Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970730703> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1970730703 endingPage "155" @default.
- W1970730703 startingPage "139" @default.
- W1970730703 abstract "Sharing information is useful in specialising, optimising and parallelising logic programs and thus sharing analysis is an important topic of both abstract interpretation and logic programming. Sharing analyses infer which pairs of program variables can never be bound to terms that contain a common variable. We generalise a classic pair-sharing analysis from Herbrand unification to trace sharing over rational tree constraints. This is useful for reasoning about programs written in SICStus and Prolog-III because these languages use rational tree unification as the default equation solver." @default.
- W1970730703 created "2016-06-24" @default.
- W1970730703 creator A5063762504 @default.
- W1970730703 date "2000-11-01" @default.
- W1970730703 modified "2023-09-24" @default.
- W1970730703 title "Pair-sharing over rational trees" @default.
- W1970730703 cites W1535051828 @default.
- W1970730703 cites W1585736418 @default.
- W1970730703 cites W1856681682 @default.
- W1970730703 cites W1965377774 @default.
- W1970730703 cites W1999346653 @default.
- W1970730703 cites W2049896797 @default.
- W1970730703 cites W2053608039 @default.
- W1970730703 cites W2056869535 @default.
- W1970730703 cites W2057821410 @default.
- W1970730703 cites W2126384248 @default.
- W1970730703 cites W4212983671 @default.
- W1970730703 doi "https://doi.org/10.1016/s0743-1066(00)00009-1" @default.
- W1970730703 hasPublicationYear "2000" @default.
- W1970730703 type Work @default.
- W1970730703 sameAs 1970730703 @default.
- W1970730703 citedByCount "23" @default.
- W1970730703 countsByYear W19707307032013 @default.
- W1970730703 crossrefType "journal-article" @default.
- W1970730703 hasAuthorship W1970730703A5063762504 @default.
- W1970730703 hasBestOaLocation W19707307032 @default.
- W1970730703 hasConcept C113174947 @default.
- W1970730703 hasConcept C114614502 @default.
- W1970730703 hasConcept C128838566 @default.
- W1970730703 hasConcept C134306372 @default.
- W1970730703 hasConcept C138885662 @default.
- W1970730703 hasConcept C148230440 @default.
- W1970730703 hasConcept C182365436 @default.
- W1970730703 hasConcept C199360897 @default.
- W1970730703 hasConcept C2778770139 @default.
- W1970730703 hasConcept C33923547 @default.
- W1970730703 hasConcept C41008148 @default.
- W1970730703 hasConcept C41895202 @default.
- W1970730703 hasConcept C75291252 @default.
- W1970730703 hasConcept C80444323 @default.
- W1970730703 hasConcept C81721847 @default.
- W1970730703 hasConcept C96146094 @default.
- W1970730703 hasConceptScore W1970730703C113174947 @default.
- W1970730703 hasConceptScore W1970730703C114614502 @default.
- W1970730703 hasConceptScore W1970730703C128838566 @default.
- W1970730703 hasConceptScore W1970730703C134306372 @default.
- W1970730703 hasConceptScore W1970730703C138885662 @default.
- W1970730703 hasConceptScore W1970730703C148230440 @default.
- W1970730703 hasConceptScore W1970730703C182365436 @default.
- W1970730703 hasConceptScore W1970730703C199360897 @default.
- W1970730703 hasConceptScore W1970730703C2778770139 @default.
- W1970730703 hasConceptScore W1970730703C33923547 @default.
- W1970730703 hasConceptScore W1970730703C41008148 @default.
- W1970730703 hasConceptScore W1970730703C41895202 @default.
- W1970730703 hasConceptScore W1970730703C75291252 @default.
- W1970730703 hasConceptScore W1970730703C80444323 @default.
- W1970730703 hasConceptScore W1970730703C81721847 @default.
- W1970730703 hasConceptScore W1970730703C96146094 @default.
- W1970730703 hasIssue "1-2" @default.
- W1970730703 hasLocation W19707307031 @default.
- W1970730703 hasLocation W19707307032 @default.
- W1970730703 hasOpenAccess W1970730703 @default.
- W1970730703 hasPrimaryLocation W19707307031 @default.
- W1970730703 hasRelatedWork W1500817711 @default.
- W1970730703 hasRelatedWork W1516362967 @default.
- W1970730703 hasRelatedWork W1560895966 @default.
- W1970730703 hasRelatedWork W1589263172 @default.
- W1970730703 hasRelatedWork W1978962876 @default.
- W1970730703 hasRelatedWork W2057086588 @default.
- W1970730703 hasRelatedWork W2082292957 @default.
- W1970730703 hasRelatedWork W2084078829 @default.
- W1970730703 hasRelatedWork W2401622698 @default.
- W1970730703 hasRelatedWork W2474462291 @default.
- W1970730703 hasVolume "46" @default.
- W1970730703 isParatext "false" @default.
- W1970730703 isRetracted "false" @default.
- W1970730703 magId "1970730703" @default.
- W1970730703 workType "article" @default.