Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076510367> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2076510367 abstract "Many abstract value domains such as intervals, bitwise, constants, and value-sets have been developed to support dataflow analysis. Different domains offer alternative tradeoffs between analysis speed and precision. Furthermore, some domains are a better match for certain kinds of code than others. This paper presents the design and implementation of cXprop, an analysis and transformation tool for C that implements conditional X propagation, a generalization of the well-known conditional constant propagation algorithm where X is an abstract value domain supplied by the user. cXprop is interprocedural, context-insensitive, and achieves reasonable precision on pointer-rich codes. We have applied cXprop to sensor network programs running on TinyOS, in order to reduce code size through interprocedural dead code elimination, and to find limited-bitwidth global variables. Our analysis of global variables is supported by a novel concurrency model for interrupt-driven software. cXprop reduces TinyOS application code size by an average of 9.2% and predicts an average data size reduction of 8.2% through RAM compression." @default.
- W2076510367 created "2016-06-24" @default.
- W2076510367 creator A5055203922 @default.
- W2076510367 creator A5066046345 @default.
- W2076510367 date "2006-06-14" @default.
- W2076510367 modified "2023-10-18" @default.
- W2076510367 title "Pluggable abstract domains for analyzing embedded software" @default.
- W2076510367 cites W1965864973 @default.
- W2076510367 cites W1982205631 @default.
- W2076510367 cites W2029251029 @default.
- W2076510367 cites W2043100293 @default.
- W2076510367 cites W2053608039 @default.
- W2076510367 cites W2069437435 @default.
- W2076510367 cites W2102890180 @default.
- W2076510367 cites W2123135156 @default.
- W2076510367 cites W2125171479 @default.
- W2076510367 cites W2130851407 @default.
- W2076510367 cites W2146924294 @default.
- W2076510367 cites W2160401437 @default.
- W2076510367 cites W2170224888 @default.
- W2076510367 cites W4210597212 @default.
- W2076510367 doi "https://doi.org/10.1145/1134650.1134658" @default.
- W2076510367 hasPublicationYear "2006" @default.
- W2076510367 type Work @default.
- W2076510367 sameAs 2076510367 @default.
- W2076510367 citedByCount "19" @default.
- W2076510367 countsByYear W20765103672012 @default.
- W2076510367 countsByYear W20765103672015 @default.
- W2076510367 countsByYear W20765103672016 @default.
- W2076510367 countsByYear W20765103672019 @default.
- W2076510367 crossrefType "proceedings-article" @default.
- W2076510367 hasAuthorship W2076510367A5055203922 @default.
- W2076510367 hasAuthorship W2076510367A5066046345 @default.
- W2076510367 hasConcept C111919701 @default.
- W2076510367 hasConcept C11413529 @default.
- W2076510367 hasConcept C133162039 @default.
- W2076510367 hasConcept C149635348 @default.
- W2076510367 hasConcept C151578736 @default.
- W2076510367 hasConcept C173018170 @default.
- W2076510367 hasConcept C173608175 @default.
- W2076510367 hasConcept C177264268 @default.
- W2076510367 hasConcept C193702766 @default.
- W2076510367 hasConcept C199360897 @default.
- W2076510367 hasConcept C26517878 @default.
- W2076510367 hasConcept C2776760102 @default.
- W2076510367 hasConcept C41008148 @default.
- W2076510367 hasConcept C41661131 @default.
- W2076510367 hasConcept C47434764 @default.
- W2076510367 hasConcept C50951305 @default.
- W2076510367 hasConcept C7263679 @default.
- W2076510367 hasConcept C80444323 @default.
- W2076510367 hasConcept C96324660 @default.
- W2076510367 hasConcept C97686452 @default.
- W2076510367 hasConceptScore W2076510367C111919701 @default.
- W2076510367 hasConceptScore W2076510367C11413529 @default.
- W2076510367 hasConceptScore W2076510367C133162039 @default.
- W2076510367 hasConceptScore W2076510367C149635348 @default.
- W2076510367 hasConceptScore W2076510367C151578736 @default.
- W2076510367 hasConceptScore W2076510367C173018170 @default.
- W2076510367 hasConceptScore W2076510367C173608175 @default.
- W2076510367 hasConceptScore W2076510367C177264268 @default.
- W2076510367 hasConceptScore W2076510367C193702766 @default.
- W2076510367 hasConceptScore W2076510367C199360897 @default.
- W2076510367 hasConceptScore W2076510367C26517878 @default.
- W2076510367 hasConceptScore W2076510367C2776760102 @default.
- W2076510367 hasConceptScore W2076510367C41008148 @default.
- W2076510367 hasConceptScore W2076510367C41661131 @default.
- W2076510367 hasConceptScore W2076510367C47434764 @default.
- W2076510367 hasConceptScore W2076510367C50951305 @default.
- W2076510367 hasConceptScore W2076510367C7263679 @default.
- W2076510367 hasConceptScore W2076510367C80444323 @default.
- W2076510367 hasConceptScore W2076510367C96324660 @default.
- W2076510367 hasConceptScore W2076510367C97686452 @default.
- W2076510367 hasLocation W20765103671 @default.
- W2076510367 hasOpenAccess W2076510367 @default.
- W2076510367 hasPrimaryLocation W20765103671 @default.
- W2076510367 hasRelatedWork W1539844444 @default.
- W2076510367 hasRelatedWork W2042804080 @default.
- W2076510367 hasRelatedWork W2076510367 @default.
- W2076510367 hasRelatedWork W2160620982 @default.
- W2076510367 hasRelatedWork W2183928278 @default.
- W2076510367 hasRelatedWork W2204251273 @default.
- W2076510367 hasRelatedWork W2400781971 @default.
- W2076510367 hasRelatedWork W3163934487 @default.
- W2076510367 hasRelatedWork W3216216524 @default.
- W2076510367 hasRelatedWork W44590017 @default.
- W2076510367 isParatext "false" @default.
- W2076510367 isRetracted "false" @default.
- W2076510367 magId "2076510367" @default.
- W2076510367 workType "article" @default.