Skip to main content

Localization and Register Sharing for Predicate Abstraction

Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai

DOI 10.1007/978-3-540-31980-1_26 dblp BibTeX

Abstract elided by the publisher.

Related papers

Alternating Automata Modulo First Order Theories CAV 2019
Strategies for Predicate-Aware Register Allocation CC 2010
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs CAV 2011
Phi-Predication for Light-Weight If-Conversion CGO 2003
Evaluation of Algorithms for Local Register Allocation CC 1999
Probalistic Register Allocation PLDI 1992
Demand-Driven Register Allocation TOPLAS 1996
Concurrent Abstract Predicates ECOOP 2010