lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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 and media technology (CM), Department of Computer Science.ORCID iD: 0000-0002-7555-7335
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.ORCID iD: 0000-0001-9775-4594
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), 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, p. 154-163Conference 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, p. 154-163
Series
CEUR workshop proceedings, ISSN 1613-0073
Keywords [en]
Context-sensitive, SSA-graph, BDD, χ-term, Shannon-expansion
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:lnu:diva-41040Scopus ID: 2-s2.0-84924326216OAI: oai:DiVA.org:lnu-41040DiVA, id: diva2:796732
Conference
Software Engineering Workshops, 17-18 March 2015, Dresden
Available from: 2015-03-20 Created: 2015-03-20 Last updated: 2019-08-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

ScopusFulltext

Authority records

Hedenborg, MathiasLundberg, JonasLöwe, Welf

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 225 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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