Matches in SemOpenAlex for { <https://semopenalex.org/work/W2139866833> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2139866833 abstract "We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set of natural deduction-style inference rules. We deploy the logic in a simple type system for a stack-based assembly language. The connectives for the logic provide a flexible yet concise mechanism for controlling allocation, deallocation and access to both heap-allocated and stack-allocated data." @default.
- W2139866833 created "2016-06-24" @default.
- W2139866833 creator A5049454219 @default.
- W2139866833 creator A5084250644 @default.
- W2139866833 date "2003-01-18" @default.
- W2139866833 modified "2023-10-17" @default.
- W2139866833 title "The logical approach to stack typing" @default.
- W2139866833 cites W1761411969 @default.
- W2139866833 cites W1964976097 @default.
- W2139866833 cites W1966130668 @default.
- W2139866833 cites W1981962444 @default.
- W2139866833 cites W1988824860 @default.
- W2139866833 cites W1995594295 @default.
- W2139866833 cites W1998070736 @default.
- W2139866833 cites W2008132476 @default.
- W2139866833 cites W2017383728 @default.
- W2139866833 cites W2024914463 @default.
- W2139866833 cites W2034711041 @default.
- W2139866833 cites W2044253896 @default.
- W2139866833 cites W2044507549 @default.
- W2139866833 cites W2069107692 @default.
- W2139866833 cites W2070111977 @default.
- W2139866833 cites W2087875803 @default.
- W2139866833 cites W2122142025 @default.
- W2139866833 cites W2150769115 @default.
- W2139866833 cites W2151480972 @default.
- W2139866833 cites W2153297607 @default.
- W2139866833 cites W2164039975 @default.
- W2139866833 cites W2911865844 @default.
- W2139866833 cites W3145063512 @default.
- W2139866833 cites W4256027310 @default.
- W2139866833 doi "https://doi.org/10.1145/604174.604185" @default.
- W2139866833 hasPublicationYear "2003" @default.
- W2139866833 type Work @default.
- W2139866833 sameAs 2139866833 @default.
- W2139866833 citedByCount "26" @default.
- W2139866833 countsByYear W21398668332015 @default.
- W2139866833 countsByYear W21398668332018 @default.
- W2139866833 countsByYear W21398668332019 @default.
- W2139866833 crossrefType "proceedings-article" @default.
- W2139866833 hasAuthorship W2139866833A5049454219 @default.
- W2139866833 hasAuthorship W2139866833A5084250644 @default.
- W2139866833 hasConcept C119024030 @default.
- W2139866833 hasConcept C134757568 @default.
- W2139866833 hasConcept C136536468 @default.
- W2139866833 hasConcept C154945302 @default.
- W2139866833 hasConcept C173856430 @default.
- W2139866833 hasConcept C199360897 @default.
- W2139866833 hasConcept C4069607 @default.
- W2139866833 hasConcept C41008148 @default.
- W2139866833 hasConcept C80444323 @default.
- W2139866833 hasConcept C9395851 @default.
- W2139866833 hasConceptScore W2139866833C119024030 @default.
- W2139866833 hasConceptScore W2139866833C134757568 @default.
- W2139866833 hasConceptScore W2139866833C136536468 @default.
- W2139866833 hasConceptScore W2139866833C154945302 @default.
- W2139866833 hasConceptScore W2139866833C173856430 @default.
- W2139866833 hasConceptScore W2139866833C199360897 @default.
- W2139866833 hasConceptScore W2139866833C4069607 @default.
- W2139866833 hasConceptScore W2139866833C41008148 @default.
- W2139866833 hasConceptScore W2139866833C80444323 @default.
- W2139866833 hasConceptScore W2139866833C9395851 @default.
- W2139866833 hasLocation W21398668331 @default.
- W2139866833 hasOpenAccess W2139866833 @default.
- W2139866833 hasPrimaryLocation W21398668331 @default.
- W2139866833 hasRelatedWork W1558893343 @default.
- W2139866833 hasRelatedWork W1790417275 @default.
- W2139866833 hasRelatedWork W2027700444 @default.
- W2139866833 hasRelatedWork W2097935141 @default.
- W2139866833 hasRelatedWork W2111558906 @default.
- W2139866833 hasRelatedWork W2117127705 @default.
- W2139866833 hasRelatedWork W2146329212 @default.
- W2139866833 hasRelatedWork W2904766568 @default.
- W2139866833 hasRelatedWork W3182891163 @default.
- W2139866833 hasRelatedWork W56863910 @default.
- W2139866833 isParatext "false" @default.
- W2139866833 isRetracted "false" @default.
- W2139866833 magId "2139866833" @default.
- W2139866833 workType "article" @default.