Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. A Theory of Name Resolution with extended Coverage and Proofs. Technical Report TUD-SERG-2015-001, Software Engineering Research Group. Delft University of Technology, January 2015.
@techreport{TUD-SERG-2015-001,
title = {A Theory of Name Resolution with extended Coverage and Proofs},
author = {Pierre Neron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
year = {2015},
month = {January},
note = {Extended version of ESOP 2015 paper "A Theory of Name Resolution"},
researchr = {https://researchr.org/publication/TUD-SERG-2015-001},
cites = {0},
citedby = {0},
institution = {Software Engineering Research Group. Delft University of Technology},
type = {Technical Report},
number = {TUD-SERG-2015-001},
}