FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153463445> ?p ?o ?g. }

• W2153463445 endingPage "80" @default.
• W2153463445 startingPage "69" @default.
• W2153463445 abstract "Traditional approaches to enforcing memory safety of programs rely heavily on runtime checks of memory accesses and on garbage collection, both of which are unattractive for embedded applications. The long-term goal of our work is to enable 100% static enforcement of memory safety for embedded programs through advanced compiler techniques and minimal semantic restrictions on programs. The key result of this paper is a compiler technique that ensures memory safety of dynamically allocated memory without programmer annotations, runtime checks, or garbage collection, and works for a large subclass of type-safe C programs. The technique is based on a fully automatic pool allocation (i.e., region-inference) algorithm for C programs we developed previously, and it ensures safety of dynamically allocated memory while retaining explicit deallocation of individual objects within regions (to avoid garbage collection). For a diverse set of embedded C programs (and using a previous technique to avoid null pointer checks), we show that we are able to statically ensure the safety of pointer and dynamic memory usage in all these programs. We also describe some improvements over our previous work in static checking of array accesses. Overall, we achieve 100% static enforcement of memory safety without new language syntax for a significant subclass of embedded C programs, and the subclass is much broader if array bounds checks are ignored. Overall, these techniques greatly expand the class of embedded programs for which 100% static enforcement of memory safety is possible, and furthermore can be achieved without new language support." @default.
• W2153463445 created "2016-06-24" @default.
• W2153463445 creator A5001995964 @default.
• W2153463445 creator A5014974991 @default.
• W2153463445 creator A5059017058 @default.
• W2153463445 creator A5064241063 @default.
• W2153463445 date "2003-06-11" @default.
• W2153463445 modified "2023-09-23" @default.
• W2153463445 title "Memory safety without runtime checks or garbage collection" @default.
• W2153463445 cites W1973326708 @default.
• W2153463445 cites W1981962444 @default.
• W2153463445 cites W1998070736 @default.
• W2153463445 cites W2006638707 @default.
• W2153463445 cites W2034711041 @default.
• W2153463445 cites W2038677544 @default.
• W2153463445 cites W2087875803 @default.
• W2153463445 cites W2097685561 @default.
• W2153463445 cites W2115597529 @default.
• W2153463445 cites W2124705135 @default.
• W2153463445 cites W2130711572 @default.
• W2153463445 cites W2142837069 @default.
• W2153463445 cites W2148746214 @default.
• W2153463445 cites W2156093990 @default.
• W2153463445 cites W2163365446 @default.
• W2153463445 cites W4234020632 @default.
• W2153463445 cites W4236999231 @default.
• W2153463445 cites W4238698576 @default.
• W2153463445 doi "https://doi.org/10.1145/780731.780743" @default.
• W2153463445 hasPublicationYear "2003" @default.
• W2153463445 type Work @default.
• W2153463445 sameAs 2153463445 @default.
• W2153463445 citedByCount "57" @default.
• W2153463445 countsByYear W21534634452012 @default.
• W2153463445 countsByYear W21534634452014 @default.
• W2153463445 countsByYear W21534634452015 @default.
• W2153463445 countsByYear W21534634452016 @default.
• W2153463445 countsByYear W21534634452017 @default.
• W2153463445 countsByYear W21534634452019 @default.
• W2153463445 countsByYear W21534634452021 @default.
• W2153463445 countsByYear W21534634452023 @default.
• W2153463445 crossrefType "journal-article" @default.
• W2153463445 hasAuthorship W2153463445A5001995964 @default.
• W2153463445 hasAuthorship W2153463445A5014974991 @default.
• W2153463445 hasAuthorship W2153463445A5059017058 @default.
• W2153463445 hasAuthorship W2153463445A5064241063 @default.
• W2153463445 hasConcept C105122174 @default.
• W2153463445 hasConcept C111919701 @default.
• W2153463445 hasConcept C12186640 @default.
• W2153463445 hasConcept C133875982 @default.
• W2153463445 hasConcept C136085584 @default.
• W2153463445 hasConcept C150202949 @default.
• W2153463445 hasConcept C156731835 @default.
• W2153463445 hasConcept C169590947 @default.
• W2153463445 hasConcept C176649486 @default.
• W2153463445 hasConcept C18131444 @default.
• W2153463445 hasConcept C199360897 @default.
• W2153463445 hasConcept C28180684 @default.
• W2153463445 hasConcept C34339311 @default.
• W2153463445 hasConcept C41008148 @default.
• W2153463445 hasConcept C57863822 @default.
• W2153463445 hasConcept C75403996 @default.
• W2153463445 hasConcept C82810778 @default.
• W2153463445 hasConcept C9390403 @default.
• W2153463445 hasConceptScore W2153463445C105122174 @default.
• W2153463445 hasConceptScore W2153463445C111919701 @default.
• W2153463445 hasConceptScore W2153463445C12186640 @default.
• W2153463445 hasConceptScore W2153463445C133875982 @default.
• W2153463445 hasConceptScore W2153463445C136085584 @default.
• W2153463445 hasConceptScore W2153463445C150202949 @default.
• W2153463445 hasConceptScore W2153463445C156731835 @default.
• W2153463445 hasConceptScore W2153463445C169590947 @default.
• W2153463445 hasConceptScore W2153463445C176649486 @default.
• W2153463445 hasConceptScore W2153463445C18131444 @default.
• W2153463445 hasConceptScore W2153463445C199360897 @default.
• W2153463445 hasConceptScore W2153463445C28180684 @default.
• W2153463445 hasConceptScore W2153463445C34339311 @default.
• W2153463445 hasConceptScore W2153463445C41008148 @default.
• W2153463445 hasConceptScore W2153463445C57863822 @default.
• W2153463445 hasConceptScore W2153463445C75403996 @default.
• W2153463445 hasConceptScore W2153463445C82810778 @default.
• W2153463445 hasConceptScore W2153463445C9390403 @default.
• W2153463445 hasIssue "7" @default.
• W2153463445 hasLocation W21534634451 @default.
• W2153463445 hasOpenAccess W2153463445 @default.
• W2153463445 hasPrimaryLocation W21534634451 @default.
• W2153463445 hasRelatedWork W1501346788 @default.
• W2153463445 hasRelatedWork W2063453797 @default.
• W2153463445 hasRelatedWork W2124565726 @default.
• W2153463445 hasRelatedWork W2138369269 @default.
• W2153463445 hasRelatedWork W2153463445 @default.
• W2153463445 hasRelatedWork W2963621223 @default.
• W2153463445 hasRelatedWork W3027386293 @default.
• W2153463445 hasRelatedWork W4235971859 @default.
• W2153463445 hasRelatedWork W4248542611 @default.
• W2153463445 hasRelatedWork W2182829270 @default.
• W2153463445 hasVolume "38" @default.
• W2153463445 isParatext "false" @default.
• W2153463445 isRetracted "false" @default.

• next