A Theory of Name Resolution with Extended Coverage and Proofs

Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. A Theory of Name Resolution with Extended Coverage and Proofs. Technical Report TUD-SERG-2015-001, Delft University of Technology, Software Engineering Research Group, 2015. [doi]

Abstract

Abstract is missing.

Published as

This technical report is published as: