Generating Abstractions from Static Domain Analysis

13 years 6 months ago

Download www.diee.unica.it

ng AbstractionsGenerating Abstractions from Static Domain Analysisfrom Static Domain Analysis Eloisa Vargiu (joint work with Giuliano Armano and Giancarlo Cherchi) Department of Electrical and Electronic Engineering Univerisity of Cagliari

Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu

Real-time Traffic

Intelligent Agents | Ng Abstractionsgenerating Abstractions | Static Domain | Static Domain Analysis | WOA 2003 |

claim paper

» Distinctness and Sharing Domains for Static Analysis of Java Programs

» Apron A Library of Numerical Abstract Domains for Static Analysis

» Static Analysis of CLP Programs over Numeric Domains

» Abstract Parsing Static Analysis of Dynamically Generated String Output Using LRParsing Te...

» PathCrawler Automatic Generation of Path Tests by Combining Static and Dynamic Analysis

» Taming False Alarms from a DomainUnaware C Analyzer by a Bayesian Statistical Post Analysi...

» Integrating Physical Systems in the Static Analysis of Embedded Control Software

» Fast Generation of Abstracts from General Domain Text Corpora by Extracting Relevant Sente...

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	2003
Where	WOA
Authors	Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu

Comments (0)

Sciweavers

Generating Abstractions from Static Domain Analysis

Intelligent Agents | Ng Abstractionsgenerating Abstractions | Static Domain | Static Domain Analysis | WOA 2003 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers