Sign in
Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis.
Elena Sherman
Brady J. Garvin
Matthew B. Dwyer
Published in:
ACM Trans. Softw. Eng. Methodol. (2015)
Keyphrases
</>
partial order
partially ordered
set theory