lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Capturing and Manipulating Context-sensitive Program Information
Senacor Technologies AG, Germany.
Linnaeus University, Faculty of Technology, Department of Computer Science.
Linnaeus University, Faculty of Technology, Department of Computer Science.
Linnaeus University, Faculty of Technology, Department of Computer Science.ORCID iD: 0000-0002-7565-3714
2015 (English)In: Software Engineering Workshops 2015: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, 17.-18. März 2015 / [ed] Wolf Zimmermann, Martin-Luther-Universität Halle-Wittenberg, CEUR-WS.org , 2015, Vol. 1337, 154-163 p.Conference paper, Published paper (Refereed)
Abstract [en]

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).

Place, publisher, year, edition, pages
CEUR-WS.org , 2015. Vol. 1337, 154-163 p.
Series
CEUR workshop proceedings, ISSN 1613-0073
Keyword [en]
Context-sensitive, SSA-graph, BDD, χ-term, Shannon-expansion
National Category
Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-41040OAI: oai:DiVA.org:lnu-41040DiVA: diva2:796732
Conference
Software Engineering Workshops, 17-18 March 2015, Dresden
Available from: 2015-03-20 Created: 2015-03-20 Last updated: 2017-04-24Bibliographically approved

Open Access in DiVA

No full text

Other links

Fulltext

Search in DiVA

By author/editor
Hedenborg, MathiasLundberg, JonasLöwe, Welf
By organisation
Department of Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 125 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf