Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129797217> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2129797217 endingPage "1214" @default.
- W2129797217 startingPage "1198" @default.
- W2129797217 abstract "Automatic finalization is a common but inherently complex language facil- ity that makes the garbage collection process semantically visible to client programs. With finalizers, memory management becomes more flexible, and garbage collectors can be used to recycle other resources in addition to memory. Formal language models usually ignore garbage collection, and therefore are unable to properly describe finalization. In this paper we use an operational approach to develop a new abstract model that explicitly represents memory management actions in a garbage-collected programming language based on the λ-calculus. We formally state and prove several important properties related to memory management, and employ the model to describe and explore a semantics for finalizers." @default.
- W2129797217 created "2016-06-24" @default.
- W2129797217 creator A5059175907 @default.
- W2129797217 creator A5085323043 @default.
- W2129797217 date "2005-01-01" @default.
- W2129797217 modified "2023-09-23" @default.
- W2129797217 title "A Formal Semantics for Finalizers" @default.
- W2129797217 cites W1480674757 @default.
- W2129797217 cites W1509600745 @default.
- W2129797217 cites W1556730529 @default.
- W2129797217 cites W1576545868 @default.
- W2129797217 cites W1583464938 @default.
- W2129797217 cites W1599855121 @default.
- W2129797217 cites W1964116255 @default.
- W2129797217 cites W1997818655 @default.
- W2129797217 cites W2026156212 @default.
- W2129797217 cites W2028048148 @default.
- W2129797217 cites W2073569229 @default.
- W2129797217 cites W2118229393 @default.
- W2129797217 cites W2145368774 @default.
- W2129797217 cites W2163818037 @default.
- W2129797217 cites W2165554183 @default.
- W2129797217 cites W2483346589 @default.
- W2129797217 hasPublicationYear "2005" @default.
- W2129797217 type Work @default.
- W2129797217 sameAs 2129797217 @default.
- W2129797217 citedByCount "2" @default.
- W2129797217 countsByYear W21297972172020 @default.
- W2129797217 crossrefType "journal-article" @default.
- W2129797217 hasAuthorship W2129797217A5059175907 @default.
- W2129797217 hasAuthorship W2129797217A5085323043 @default.
- W2129797217 hasConcept C105122174 @default.
- W2129797217 hasConcept C146499914 @default.
- W2129797217 hasConcept C156325763 @default.
- W2129797217 hasConcept C184337299 @default.
- W2129797217 hasConcept C199360897 @default.
- W2129797217 hasConcept C41008148 @default.
- W2129797217 hasConcept C48103436 @default.
- W2129797217 hasConcept C75403996 @default.
- W2129797217 hasConcept C82810778 @default.
- W2129797217 hasConcept C98045186 @default.
- W2129797217 hasConceptScore W2129797217C105122174 @default.
- W2129797217 hasConceptScore W2129797217C146499914 @default.
- W2129797217 hasConceptScore W2129797217C156325763 @default.
- W2129797217 hasConceptScore W2129797217C184337299 @default.
- W2129797217 hasConceptScore W2129797217C199360897 @default.
- W2129797217 hasConceptScore W2129797217C41008148 @default.
- W2129797217 hasConceptScore W2129797217C48103436 @default.
- W2129797217 hasConceptScore W2129797217C75403996 @default.
- W2129797217 hasConceptScore W2129797217C82810778 @default.
- W2129797217 hasConceptScore W2129797217C98045186 @default.
- W2129797217 hasLocation W21297972171 @default.
- W2129797217 hasOpenAccess W2129797217 @default.
- W2129797217 hasPrimaryLocation W21297972171 @default.
- W2129797217 hasRelatedWork W1587577628 @default.
- W2129797217 hasRelatedWork W1595922583 @default.
- W2129797217 hasRelatedWork W1658431692 @default.
- W2129797217 hasRelatedWork W1789276856 @default.
- W2129797217 hasRelatedWork W1988874658 @default.
- W2129797217 hasRelatedWork W1992483812 @default.
- W2129797217 hasRelatedWork W2038677544 @default.
- W2129797217 hasRelatedWork W2064723869 @default.
- W2129797217 hasRelatedWork W2069746600 @default.
- W2129797217 hasRelatedWork W2069768096 @default.
- W2129797217 hasRelatedWork W2100629541 @default.
- W2129797217 hasRelatedWork W2123767675 @default.
- W2129797217 hasRelatedWork W2126740902 @default.
- W2129797217 hasRelatedWork W2135359747 @default.
- W2129797217 hasRelatedWork W2152115980 @default.
- W2129797217 hasRelatedWork W2166505330 @default.
- W2129797217 hasRelatedWork W2168617729 @default.
- W2129797217 hasRelatedWork W2886484639 @default.
- W2129797217 hasRelatedWork W344106083 @default.
- W2129797217 hasRelatedWork W2526176955 @default.
- W2129797217 hasVolume "11" @default.
- W2129797217 isParatext "false" @default.
- W2129797217 isRetracted "false" @default.
- W2129797217 magId "2129797217" @default.
- W2129797217 workType "article" @default.