Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386230147> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4386230147 endingPage "68" @default.
- W4386230147 startingPage "53" @default.
- W4386230147 abstract "We show that recent approaches to static analysis based on quantitative typing systems can be extended to programming languages with global state. More precisely, we define a call-by-value language equipped with operations to access a global memory, together with a semantic model based on a (tight) multi-type system that captures exact measures of time and space related to evaluation of programs. We show that the type system is quantitatively sound and complete with respect to the operational semantics of the language." @default.
- W4386230147 created "2023-08-29" @default.
- W4386230147 creator A5047499771 @default.
- W4386230147 creator A5061337372 @default.
- W4386230147 creator A5077330939 @default.
- W4386230147 date "2023-01-01" @default.
- W4386230147 modified "2023-09-30" @default.
- W4386230147 title "Quantitative Global Memory" @default.
- W4386230147 cites W1136297157 @default.
- W4386230147 cites W1481698781 @default.
- W4386230147 cites W1545449210 @default.
- W4386230147 cites W1969661839 @default.
- W4386230147 cites W1981303668 @default.
- W4386230147 cites W2078944436 @default.
- W4386230147 cites W2088735483 @default.
- W4386230147 cites W2128529251 @default.
- W4386230147 cites W2133455247 @default.
- W4386230147 cites W2136202785 @default.
- W4386230147 cites W2156876717 @default.
- W4386230147 cites W2760585651 @default.
- W4386230147 cites W2799182172 @default.
- W4386230147 cites W2825557463 @default.
- W4386230147 cites W2885708795 @default.
- W4386230147 cites W2896999751 @default.
- W4386230147 cites W2911865844 @default.
- W4386230147 cites W2964032597 @default.
- W4386230147 cites W2966331684 @default.
- W4386230147 cites W2981389078 @default.
- W4386230147 cites W3028421255 @default.
- W4386230147 cites W3090972609 @default.
- W4386230147 cites W3154396489 @default.
- W4386230147 cites W3186808748 @default.
- W4386230147 cites W3207685531 @default.
- W4386230147 cites W4293812871 @default.
- W4386230147 cites W70544678 @default.
- W4386230147 doi "https://doi.org/10.1007/978-3-031-39784-4_4" @default.
- W4386230147 hasPublicationYear "2023" @default.
- W4386230147 type Work @default.
- W4386230147 citedByCount "0" @default.
- W4386230147 crossrefType "book-chapter" @default.
- W4386230147 hasAuthorship W4386230147A5047499771 @default.
- W4386230147 hasAuthorship W4386230147A5061337372 @default.
- W4386230147 hasAuthorship W4386230147A5077330939 @default.
- W4386230147 hasConcept C156325763 @default.
- W4386230147 hasConcept C184337299 @default.
- W4386230147 hasConcept C199360897 @default.
- W4386230147 hasConcept C41008148 @default.
- W4386230147 hasConcept C48103436 @default.
- W4386230147 hasConcept C80444323 @default.
- W4386230147 hasConceptScore W4386230147C156325763 @default.
- W4386230147 hasConceptScore W4386230147C184337299 @default.
- W4386230147 hasConceptScore W4386230147C199360897 @default.
- W4386230147 hasConceptScore W4386230147C41008148 @default.
- W4386230147 hasConceptScore W4386230147C48103436 @default.
- W4386230147 hasConceptScore W4386230147C80444323 @default.
- W4386230147 hasLocation W43862301471 @default.
- W4386230147 hasOpenAccess W4386230147 @default.
- W4386230147 hasPrimaryLocation W43862301471 @default.
- W4386230147 hasRelatedWork W1482532369 @default.
- W4386230147 hasRelatedWork W1502311553 @default.
- W4386230147 hasRelatedWork W1587224678 @default.
- W4386230147 hasRelatedWork W1597178555 @default.
- W4386230147 hasRelatedWork W1981466053 @default.
- W4386230147 hasRelatedWork W2106305471 @default.
- W4386230147 hasRelatedWork W2146445117 @default.
- W4386230147 hasRelatedWork W2915995131 @default.
- W4386230147 hasRelatedWork W3021003119 @default.
- W4386230147 hasRelatedWork W2788308474 @default.
- W4386230147 isParatext "false" @default.
- W4386230147 isRetracted "false" @default.
- W4386230147 workType "book-chapter" @default.