Log in to see this item in other languages
Abstract Interpretation of Unstructured Imperative Languages on Unbounded Domains
In this thesis we present a novel program analysis technique that applies abstract interpretation to low-level intermediate languages with unbounded abstract domains. Unbounded abstract domains in program analysis occur in applications such as finding ranges of variables and its applications include elimination of assertions in programs, automatically deducing numerical stability, and array bou…
Contributors
- Scholz Bernhard
- Leong Philip
- Sagonas Konstantinos
- Jansson Anders
- Uppsala universitet Teknisk-naturvetenskapliga vetenskapsområdet Matematisk-datavetenskapliga sektionen Institutionen för informationsteknologi
Creator
- Subotic Pavle , Uppsala universitet, Institutionen för informationsteknologi
Type of item
- Student thesis
- book
- Book
Date
- 2011
- 2011-09-21
- 2011-09-21
- 2011
Contributors
- Scholz Bernhard
- Leong Philip
- Sagonas Konstantinos
- Jansson Anders
- Uppsala universitet Teknisk-naturvetenskapliga vetenskapsområdet Matematisk-datavetenskapliga sektionen Institutionen för informationsteknologi
Creator
- Subotic Pavle , Uppsala universitet, Institutionen för informationsteknologi
Type of item
- Student thesis
- book
- Book
Date
- 2011
- 2011-09-21
- 2011-09-21
- 2011
Providing institution
Aggregator
Rights statement for the media in this item (unless otherwise specified)
- http://rightsstatements.org/vocab/InC/1.0/
- http://rightsstatements.org/vocab/InC/1.0/
Identifier
- oai:DiVA.org:uu-159034
Format
- electronic
- electronic
Language
- en
- -1
Is part of
- http://data.theeuropeanlibrary.org/Collection/a1041
Relations
- IT11 044
Year
- 2011
Providing country
- Sweden
Collection name
First time published on Europeana
- 2014-09-07T11:21:18.371Z
Last time updated from providing institution
- 2014-09-07T11:21:18.371Z