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
Approximating Context-Sensitive Program Information
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
Senacor Technologies AG, Germany.
2015 (English)In: Proceedings Kolloquium Programmiersprachen (KPS 2015) / [ed] Jens Knoop, 2015Conference paper, Published paper (Other academic)
Abstract [en]

Static program analysis is in general more precise if it is sensitive to execution contexts (execution paths). In this paper we propose χ-terms as a mean to capture and manipulate context-sensitive program information in a data-flow analysis. We introduce finite k-approximation and loop approximation that limit the size of the context-sensitive information. These approximated χ-terms form a lattice with a finite depth, thus guaranteeing every data-flow analysis to reach a fixed point. 

Place, publisher, year, edition, pages
2015.
Keyword [en]
Static program analysis, Data-flow analysis, Context-sensitive, χ-term
National Category
Computer Sciences
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-50722OAI: oai:DiVA.org:lnu-50722DiVA: diva2:912087
Conference
Programmiersprachen und Grundlagen der Programmierung KPS 2015
Available from: 2016-03-15 Created: 2016-03-15 Last updated: 2018-01-10Bibliographically approved

Open Access in DiVA

fulltext(521 kB)40 downloads
File information
File name FULLTEXT01.pdfFile size 521 kBChecksum SHA-512
e62ee805bb3abdfd3238f19ddb2e8b11de1dee46f8463998c5b79673163ca4ed723fc2088edc11e274ee730be38066ff4dd90171aa869dd1113f2a55db1f99ba
Type fulltextMimetype application/pdf

Other links

Fulltext

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
Total: 40 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 123 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