Matches in SemOpenAlex for { <https://semopenalex.org/work/W1594332605> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1594332605 endingPage "156" @default.
- W1594332605 startingPage "142" @default.
- W1594332605 abstract "Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved to be functionally correct. Our verification proof is structured as a sequence of refinements to aid clarity and proof reuse; it is the first to map implementations into three different machine languages and, unlike some noteworthy published proofs, our verified implementations of memory allocation handle termination and the ‘out-of-memory’ case properly. The work presented here has been developed in the HOL4 theorem prover." @default.
- W1594332605 created "2016-06-24" @default.
- W1594332605 creator A5001651911 @default.
- W1594332605 date "2010-01-01" @default.
- W1594332605 modified "2023-09-23" @default.
- W1594332605 title "Reusable Verification of a Copying Collector" @default.
- W1594332605 cites W1504407915 @default.
- W1594332605 cites W1508974743 @default.
- W1594332605 cites W1845763175 @default.
- W1594332605 cites W1992347193 @default.
- W1594332605 cites W2092767796 @default.
- W1594332605 cites W2156004619 @default.
- W1594332605 cites W2158525816 @default.
- W1594332605 cites W2914920194 @default.
- W1594332605 doi "https://doi.org/10.1007/978-3-642-15057-9_10" @default.
- W1594332605 hasPublicationYear "2010" @default.
- W1594332605 type Work @default.
- W1594332605 sameAs 1594332605 @default.
- W1594332605 citedByCount "11" @default.
- W1594332605 countsByYear W15943326052014 @default.
- W1594332605 countsByYear W15943326052016 @default.
- W1594332605 countsByYear W15943326052017 @default.
- W1594332605 countsByYear W15943326052018 @default.
- W1594332605 countsByYear W15943326052019 @default.
- W1594332605 crossrefType "book-chapter" @default.
- W1594332605 hasAuthorship W1594332605A5001651911 @default.
- W1594332605 hasBestOaLocation W15943326052 @default.
- W1594332605 hasConcept C105122174 @default.
- W1594332605 hasConcept C108710211 @default.
- W1594332605 hasConcept C159718280 @default.
- W1594332605 hasConcept C173856430 @default.
- W1594332605 hasConcept C17744445 @default.
- W1594332605 hasConcept C18903297 @default.
- W1594332605 hasConcept C199360897 @default.
- W1594332605 hasConcept C199539241 @default.
- W1594332605 hasConcept C206588197 @default.
- W1594332605 hasConcept C206880738 @default.
- W1594332605 hasConcept C2524010 @default.
- W1594332605 hasConcept C26713055 @default.
- W1594332605 hasConcept C2779151265 @default.
- W1594332605 hasConcept C2780801425 @default.
- W1594332605 hasConcept C33923547 @default.
- W1594332605 hasConcept C41008148 @default.
- W1594332605 hasConcept C75403996 @default.
- W1594332605 hasConcept C80444323 @default.
- W1594332605 hasConcept C82810778 @default.
- W1594332605 hasConcept C86803240 @default.
- W1594332605 hasConceptScore W1594332605C105122174 @default.
- W1594332605 hasConceptScore W1594332605C108710211 @default.
- W1594332605 hasConceptScore W1594332605C159718280 @default.
- W1594332605 hasConceptScore W1594332605C173856430 @default.
- W1594332605 hasConceptScore W1594332605C17744445 @default.
- W1594332605 hasConceptScore W1594332605C18903297 @default.
- W1594332605 hasConceptScore W1594332605C199360897 @default.
- W1594332605 hasConceptScore W1594332605C199539241 @default.
- W1594332605 hasConceptScore W1594332605C206588197 @default.
- W1594332605 hasConceptScore W1594332605C206880738 @default.
- W1594332605 hasConceptScore W1594332605C2524010 @default.
- W1594332605 hasConceptScore W1594332605C26713055 @default.
- W1594332605 hasConceptScore W1594332605C2779151265 @default.
- W1594332605 hasConceptScore W1594332605C2780801425 @default.
- W1594332605 hasConceptScore W1594332605C33923547 @default.
- W1594332605 hasConceptScore W1594332605C41008148 @default.
- W1594332605 hasConceptScore W1594332605C75403996 @default.
- W1594332605 hasConceptScore W1594332605C80444323 @default.
- W1594332605 hasConceptScore W1594332605C82810778 @default.
- W1594332605 hasConceptScore W1594332605C86803240 @default.
- W1594332605 hasLocation W15943326051 @default.
- W1594332605 hasLocation W15943326052 @default.
- W1594332605 hasOpenAccess W1594332605 @default.
- W1594332605 hasPrimaryLocation W15943326051 @default.
- W1594332605 hasRelatedWork W1508974743 @default.
- W1594332605 hasRelatedWork W1561804611 @default.
- W1594332605 hasRelatedWork W1594332605 @default.
- W1594332605 hasRelatedWork W1966891975 @default.
- W1594332605 hasRelatedWork W2142742291 @default.
- W1594332605 hasRelatedWork W2932030123 @default.
- W1594332605 hasRelatedWork W2972221491 @default.
- W1594332605 hasRelatedWork W3023729334 @default.
- W1594332605 hasRelatedWork W4239479242 @default.
- W1594332605 hasRelatedWork W4318211861 @default.
- W1594332605 isParatext "false" @default.
- W1594332605 isRetracted "false" @default.
- W1594332605 magId "1594332605" @default.
- W1594332605 workType "book-chapter" @default.