Using XBDDs and ZBDDs in points-to analysis

Ondřej Lhoták, Stephen Curial, José Nelson Amaral. Using XBDDs and ZBDDs in points-to analysis. Software: Practice and Experience, 39(2):163-188, 2009. [doi]

Authors

Ondrej Lhoták

Identified as Ondřej Lhoták

Stephen Curial

This author has not been identified. Look up 'Stephen Curial' in Google

José Nelson Amaral

This author has not been identified. Look up 'José Nelson Amaral' in Google