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

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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
Feedback-driven Points-to Analysis
Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM. (Software Technology Group)
Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM. (Software Technology Group)ORCID-id: 0000-0001-9775-4594
Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM. (Software Technology Group)ORCID-id: 0000-0002-7565-3714
2011 (Engelska)Ingår i: 26th Symposium On Applied Computing (SAC 2011), TaiChung, March 21-24, 2011, 2011Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

In this paper, we present feedback-driven points-to analysis where any classical points-to analysis has its points-to results at certain program points guarded by a-priori upper bounds. Such upper bounds can come from other points-to analyses – this is of interest when different approaches are not strictlyordered in terms of accuracy – and from human insight, i.e., manual proofs that certain points-to relations are infeasible for every program run.

Ort, förlag, år, upplaga, sidor
2011.
Nyckelord [en]
Points-to analysis, expert knowledge
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Data- och informationsvetenskap, Datavetenskap
Identifikatorer
URN: urn:nbn:se:lnu:diva-9225OAI: oai:DiVA.org:lnu-9225DiVA, id: diva2:360292
Tillgänglig från: 2010-11-02 Skapad: 2010-11-02 Senast uppdaterad: 2018-05-17Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Gutzmann, TobiasLundberg, JonasLöwe, Welf

Sök vidare i DiVA

Av författaren/redaktören
Gutzmann, TobiasLundberg, JonasLöwe, Welf
Av organisationen
Institutionen för datavetenskap, fysik och matematik, DFM
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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