mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Static Analysis of Bounded Polyhedra
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0001-9341-4031
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0001-5297-6548
Mälardalens högskola, Akademin för innovation, design och teknik.
2011 (Engelska)Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2011.
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:mdh:diva-13551OAI: oai:DiVA.org:mdh-13551DiVA, id: diva2:466094
Konferens
Nordic Workshop of Programming Theory (NWPT), Västerås, Sweden
Tillgänglig från: 2011-12-15 Skapad: 2011-12-15 Senast uppdaterad: 2017-04-07Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Bygde, StefanLisper, Björn

Sök vidare i DiVA

Av författaren/redaktören
Bygde, StefanLisper, BjörnHolsti, Niklas
Av organisationen
Akademin för innovation, design och teknik
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 185 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf