Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists


Garg, Pranav, Madhusudan, P. and Parlato, Gennaro (2013) Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists At 20th Static Analysis Symposium.

Download

[img] PDF qda (1).pdf - Version of Record
Download (279kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 20th Static Analysis Symposium, 2013-02-01
Organisations: Electronic & Software Systems
ePrint ID: 351906
Date :
Date Event
February 2013Published
Date Deposited: 25 Apr 2013 17:15
Last Modified: 23 Feb 2017 03:51
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/351906

Actions (login required)

View Item View Item