Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis

Open Webpage

Elena Sherman, Brady J. Garvin, Matthew B. Dwyer

Published: 2015, Last Modified: 22 Mar 2026ACM Trans. Softw. Eng. Methodol. 2015EveryoneRevisionsBibTeXCC BY-SA 4.0