mdh.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
Static Analysis of Bounded Polyhedra
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-9341-4031
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-5297-6548
Mälardalen University, School of Innovation, Design and Engineering.
2011 (English)Conference paper, Published paper (Refereed)
Abstract [en]

We present a method for polyhedral abstract interpretation which derives fully bounded polyhedra for every step in the analysis. Contrary to classical polyhedral analysis, this method is sound for integer-valued variables stored as fixed-size binary strings; wrap-arounds are correctly modelled. Our work is based on earlier work by Axel Simon and Andy King but aims to significantly reduce the precision loss introduced in their method.

Place, publisher, year, edition, pages
2011.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-13551OAI: oai:DiVA.org:mdh-13551DiVA: diva2:466094
Conference
Nordic Workshop of Programming Theory (NWPT), Västerås, Sweden
Available from: 2011-12-15 Created: 2011-12-15 Last updated: 2017-04-07Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Bygde, StefanLisper, BjörnHolsti, Niklas
By organisation
School of Innovation, Design and Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Total: 114 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