Matches in SemOpenAlex for { <https://semopenalex.org/work/W1519594341> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1519594341 abstract "A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same object. Intended as the basis for a comprehensive solution to the frame problem and as a complement to, or even a replacement for, separation logic, shape analysis, ownership types and dynamic frames." @default.
- W1519594341 created "2016-06-24" @default.
- W1519594341 creator A5087030856 @default.
- W1519594341 date "2010-01-11" @default.
- W1519594341 modified "2023-09-27" @default.
- W1519594341 title "Steps towards a theory and calculus of aliasing" @default.
- W1519594341 hasPublicationYear "2010" @default.
- W1519594341 type Work @default.
- W1519594341 sameAs 1519594341 @default.
- W1519594341 citedByCount "0" @default.
- W1519594341 crossrefType "posted-content" @default.
- W1519594341 hasAuthorship W1519594341A5087030856 @default.
- W1519594341 hasConcept C104317684 @default.
- W1519594341 hasConcept C112313634 @default.
- W1519594341 hasConcept C12426560 @default.
- W1519594341 hasConcept C126042441 @default.
- W1519594341 hasConcept C127716648 @default.
- W1519594341 hasConcept C136119220 @default.
- W1519594341 hasConcept C136536468 @default.
- W1519594341 hasConcept C154945302 @default.
- W1519594341 hasConcept C185592680 @default.
- W1519594341 hasConcept C188082640 @default.
- W1519594341 hasConcept C199343813 @default.
- W1519594341 hasConcept C199360897 @default.
- W1519594341 hasConcept C202444582 @default.
- W1519594341 hasConcept C22497172 @default.
- W1519594341 hasConcept C2524010 @default.
- W1519594341 hasConcept C2777686260 @default.
- W1519594341 hasConcept C2781238097 @default.
- W1519594341 hasConcept C33923547 @default.
- W1519594341 hasConcept C4069607 @default.
- W1519594341 hasConcept C41008148 @default.
- W1519594341 hasConcept C45357846 @default.
- W1519594341 hasConcept C55493867 @default.
- W1519594341 hasConcept C71924100 @default.
- W1519594341 hasConcept C76155785 @default.
- W1519594341 hasConcept C80444323 @default.
- W1519594341 hasConcept C94375191 @default.
- W1519594341 hasConceptScore W1519594341C104317684 @default.
- W1519594341 hasConceptScore W1519594341C112313634 @default.
- W1519594341 hasConceptScore W1519594341C12426560 @default.
- W1519594341 hasConceptScore W1519594341C126042441 @default.
- W1519594341 hasConceptScore W1519594341C127716648 @default.
- W1519594341 hasConceptScore W1519594341C136119220 @default.
- W1519594341 hasConceptScore W1519594341C136536468 @default.
- W1519594341 hasConceptScore W1519594341C154945302 @default.
- W1519594341 hasConceptScore W1519594341C185592680 @default.
- W1519594341 hasConceptScore W1519594341C188082640 @default.
- W1519594341 hasConceptScore W1519594341C199343813 @default.
- W1519594341 hasConceptScore W1519594341C199360897 @default.
- W1519594341 hasConceptScore W1519594341C202444582 @default.
- W1519594341 hasConceptScore W1519594341C22497172 @default.
- W1519594341 hasConceptScore W1519594341C2524010 @default.
- W1519594341 hasConceptScore W1519594341C2777686260 @default.
- W1519594341 hasConceptScore W1519594341C2781238097 @default.
- W1519594341 hasConceptScore W1519594341C33923547 @default.
- W1519594341 hasConceptScore W1519594341C4069607 @default.
- W1519594341 hasConceptScore W1519594341C41008148 @default.
- W1519594341 hasConceptScore W1519594341C45357846 @default.
- W1519594341 hasConceptScore W1519594341C55493867 @default.
- W1519594341 hasConceptScore W1519594341C71924100 @default.
- W1519594341 hasConceptScore W1519594341C76155785 @default.
- W1519594341 hasConceptScore W1519594341C80444323 @default.
- W1519594341 hasConceptScore W1519594341C94375191 @default.
- W1519594341 hasLocation W15195943411 @default.
- W1519594341 hasOpenAccess W1519594341 @default.
- W1519594341 hasPrimaryLocation W15195943411 @default.
- W1519594341 hasRelatedWork W1480896938 @default.
- W1519594341 hasRelatedWork W1531522913 @default.
- W1519594341 hasRelatedWork W1559314111 @default.
- W1519594341 hasRelatedWork W1593766673 @default.
- W1519594341 hasRelatedWork W1641456500 @default.
- W1519594341 hasRelatedWork W1756351487 @default.
- W1519594341 hasRelatedWork W1769163133 @default.
- W1519594341 hasRelatedWork W1877007579 @default.
- W1519594341 hasRelatedWork W1982559596 @default.
- W1519594341 hasRelatedWork W1984439283 @default.
- W1519594341 hasRelatedWork W1999443804 @default.
- W1519594341 hasRelatedWork W2021538292 @default.
- W1519594341 hasRelatedWork W2109597998 @default.
- W1519594341 hasRelatedWork W2132549628 @default.
- W1519594341 hasRelatedWork W2406592842 @default.
- W1519594341 hasRelatedWork W2476837489 @default.
- W1519594341 hasRelatedWork W2804798465 @default.
- W1519594341 hasRelatedWork W1790835888 @default.
- W1519594341 hasRelatedWork W2122986504 @default.
- W1519594341 hasRelatedWork W3034874745 @default.
- W1519594341 isParatext "false" @default.
- W1519594341 isRetracted "false" @default.
- W1519594341 magId "1519594341" @default.
- W1519594341 workType "article" @default.