Sökning: onr:"swepub:oai:DiVA.org:lnu-41040" >
Capturing and Manip...
Capturing and Manipulating Context-sensitive Program Information
-
- Trapp, Martin (författare)
- Senacor Technologies AG, Germany
-
- Hedenborg, Mathias (författare)
- Linnéuniversitetet,Institutionen för datavetenskap (DV)
-
- Lundberg, Jonas (författare)
- Linnéuniversitetet,Institutionen för datavetenskap (DV)
-
visa fler...
-
- Löwe, Welf (författare)
- Linnéuniversitetet,Institutionen för datavetenskap (DV)
-
visa färre...
-
(creator_code:org_t)
- CEUR-WS.org, 2015
- 2015
- Engelska.
-
Ingår i: Software Engineering Workshops 2015. - : CEUR-WS.org. ; , s. 154-163
- Relaterad länk:
-
http://ceur-ws.org/V...
-
visa fler...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- Designers of context-sensitive program analyses need to take special care of the memory consumption of the analysis results. In general, they need to sacrifice accuracy to cope with restricted memory resources. We introduce χ-terms as a general data structure to capture and manipulate context-sensitivity analysis results. A χ-term is a compact representation of arbitrary forward program analysis distinguishing the effects of different control-flow paths. While χ-terms can be represented by trees, we propose a memory efficient representation generalizing ordered binary decision diagrams (OBDDs).
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Context-sensitive
- SSA-graph
- BDD
- χ-term
- Shannon-expansion
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)