"Safe Approximation of Data Dependencies in Pointer-Based Structures."

D. K. Arvind, T. A. Lewis (2000)

Details and statistics

DOI: 10.1007/3-540-45574-4_20

access: closed

type: Conference or Workshop Paper

metadata version: 2021-08-20

a service of  Schloss Dagstuhl - Leibniz Center for Informatics