Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168976677> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2168976677 abstract "We sketch some work in progress on using binary relations for the modular specification and verification of low-level code for memory allocators and their clients." @default.
- W2168976677 created "2016-06-24" @default.
- W2168976677 creator A5021830186 @default.
- W2168976677 creator A5023252122 @default.
- W2168976677 date "2005-01-01" @default.
- W2168976677 modified "2023-09-26" @default.
- W2168976677 title "Short Presentation: Abstracting Allocation: The New new Thing" @default.
- W2168976677 cites W1495825275 @default.
- W2168976677 cites W1859811486 @default.
- W2168976677 cites W1991984504 @default.
- W2168976677 cites W2115974895 @default.
- W2168976677 cites W2128180740 @default.
- W2168976677 cites W2121603974 @default.
- W2168976677 hasPublicationYear "2005" @default.
- W2168976677 type Work @default.
- W2168976677 sameAs 2168976677 @default.
- W2168976677 citedByCount "0" @default.
- W2168976677 crossrefType "journal-article" @default.
- W2168976677 hasAuthorship W2168976677A5021830186 @default.
- W2168976677 hasAuthorship W2168976677A5023252122 @default.
- W2168976677 hasConcept C126838900 @default.
- W2168976677 hasConcept C2777601897 @default.
- W2168976677 hasConcept C41008148 @default.
- W2168976677 hasConcept C71924100 @default.
- W2168976677 hasConceptScore W2168976677C126838900 @default.
- W2168976677 hasConceptScore W2168976677C2777601897 @default.
- W2168976677 hasConceptScore W2168976677C41008148 @default.
- W2168976677 hasConceptScore W2168976677C71924100 @default.
- W2168976677 hasLocation W21689766771 @default.
- W2168976677 hasOpenAccess W2168976677 @default.
- W2168976677 hasPrimaryLocation W21689766771 @default.
- W2168976677 hasRelatedWork W1489921942 @default.
- W2168976677 hasRelatedWork W1535150831 @default.
- W2168976677 hasRelatedWork W1541046122 @default.
- W2168976677 hasRelatedWork W1590566515 @default.
- W2168976677 hasRelatedWork W170011218 @default.
- W2168976677 hasRelatedWork W1988874658 @default.
- W2168976677 hasRelatedWork W2028083276 @default.
- W2168976677 hasRelatedWork W2055802056 @default.
- W2168976677 hasRelatedWork W2058078712 @default.
- W2168976677 hasRelatedWork W2084854196 @default.
- W2168976677 hasRelatedWork W2156703477 @default.
- W2168976677 hasRelatedWork W2498660554 @default.
- W2168976677 hasRelatedWork W2519009229 @default.
- W2168976677 hasRelatedWork W26523258 @default.
- W2168976677 hasRelatedWork W2809696358 @default.
- W2168976677 hasRelatedWork W70142161 @default.
- W2168976677 hasRelatedWork W72037020 @default.
- W2168976677 hasRelatedWork W94209932 @default.
- W2168976677 hasRelatedWork W2966824173 @default.
- W2168976677 hasRelatedWork W994854239 @default.
- W2168976677 isParatext "false" @default.
- W2168976677 isRetracted "false" @default.
- W2168976677 magId "2168976677" @default.
- W2168976677 workType "article" @default.