Garg, Pranav, Madhusudan, P. and Parlato, Gennaro (2013) Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists. 20th Static Analysis Symposium.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: February 2013
Venue - Dates:
20th Static Analysis Symposium, 2013-02-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 351906
URI: http://eprints.soton.ac.uk/id/eprint/351906
PURE UUID: b93962aa-1d54-4064-bc8d-e43d443feeb4
Catalogue record
Date deposited: 25 Apr 2013 17:15
Last modified: 14 Mar 2024 13:44
Export record
Contributors
Author:
Pranav Garg
Author:
P. Madhusudan
Author:
Gennaro Parlato
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.