Matches in SemOpenAlex for { <https://semopenalex.org/work/W4230488280> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4230488280 endingPage "122" @default.
- W4230488280 startingPage "109" @default.
- W4230488280 abstract "An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified code systems that treat the garbage collector as part of the trusted computing base dispense with this issue by using a collector whose interface with the program is simple enough that it does not pose any certification challenges. However, this approach rules out the use of many sophisticated high-performance garbage collectors. We present the language LGC, whose type system is capable of expressing the interface of a modern high-performance garbage collector. We use LGC to describe the interface to one such collector, which involves a substantial amount of programming at the type constructor level of the language." @default.
- W4230488280 created "2022-05-11" @default.
- W4230488280 creator A5045900536 @default.
- W4230488280 creator A5052513728 @default.
- W4230488280 date "2003-01-18" @default.
- W4230488280 modified "2023-10-18" @default.
- W4230488280 title "A typed interface for garbage collection" @default.
- W4230488280 cites W1999662401 @default.
- W4230488280 cites W2034711041 @default.
- W4230488280 cites W2053401988 @default.
- W4230488280 cites W2069107692 @default.
- W4230488280 cites W2082367883 @default.
- W4230488280 cites W2151480972 @default.
- W4230488280 cites W2294928125 @default.
- W4230488280 doi "https://doi.org/10.1145/640136.604189" @default.
- W4230488280 hasPublicationYear "2003" @default.
- W4230488280 type Work @default.
- W4230488280 citedByCount "0" @default.
- W4230488280 crossrefType "journal-article" @default.
- W4230488280 hasAuthorship W4230488280A5045900536 @default.
- W4230488280 hasAuthorship W4230488280A5052513728 @default.
- W4230488280 hasConcept C105122174 @default.
- W4230488280 hasConcept C111472728 @default.
- W4230488280 hasConcept C111919701 @default.
- W4230488280 hasConcept C113843644 @default.
- W4230488280 hasConcept C129307140 @default.
- W4230488280 hasConcept C138885662 @default.
- W4230488280 hasConcept C157915830 @default.
- W4230488280 hasConcept C177264268 @default.
- W4230488280 hasConcept C17744445 @default.
- W4230488280 hasConcept C199360897 @default.
- W4230488280 hasConcept C199539241 @default.
- W4230488280 hasConcept C2776760102 @default.
- W4230488280 hasConcept C2780586882 @default.
- W4230488280 hasConcept C2988963302 @default.
- W4230488280 hasConcept C41008148 @default.
- W4230488280 hasConcept C46304622 @default.
- W4230488280 hasConcept C75403996 @default.
- W4230488280 hasConceptScore W4230488280C105122174 @default.
- W4230488280 hasConceptScore W4230488280C111472728 @default.
- W4230488280 hasConceptScore W4230488280C111919701 @default.
- W4230488280 hasConceptScore W4230488280C113843644 @default.
- W4230488280 hasConceptScore W4230488280C129307140 @default.
- W4230488280 hasConceptScore W4230488280C138885662 @default.
- W4230488280 hasConceptScore W4230488280C157915830 @default.
- W4230488280 hasConceptScore W4230488280C177264268 @default.
- W4230488280 hasConceptScore W4230488280C17744445 @default.
- W4230488280 hasConceptScore W4230488280C199360897 @default.
- W4230488280 hasConceptScore W4230488280C199539241 @default.
- W4230488280 hasConceptScore W4230488280C2776760102 @default.
- W4230488280 hasConceptScore W4230488280C2780586882 @default.
- W4230488280 hasConceptScore W4230488280C2988963302 @default.
- W4230488280 hasConceptScore W4230488280C41008148 @default.
- W4230488280 hasConceptScore W4230488280C46304622 @default.
- W4230488280 hasConceptScore W4230488280C75403996 @default.
- W4230488280 hasIssue "3" @default.
- W4230488280 hasLocation W42304882801 @default.
- W4230488280 hasOpenAccess W4230488280 @default.
- W4230488280 hasPrimaryLocation W42304882801 @default.
- W4230488280 hasRelatedWork W1545727638 @default.
- W4230488280 hasRelatedWork W1968897089 @default.
- W4230488280 hasRelatedWork W2127156050 @default.
- W4230488280 hasRelatedWork W2280797059 @default.
- W4230488280 hasRelatedWork W2287663836 @default.
- W4230488280 hasRelatedWork W2352852854 @default.
- W4230488280 hasRelatedWork W2380051080 @default.
- W4230488280 hasRelatedWork W3151208170 @default.
- W4230488280 hasRelatedWork W3214655618 @default.
- W4230488280 hasRelatedWork W4230488280 @default.
- W4230488280 hasVolume "38" @default.
- W4230488280 isParatext "false" @default.
- W4230488280 isRetracted "false" @default.
- W4230488280 workType "article" @default.