A Theory of Name Resolution with extended Coverage and Proofs

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.

Authors

Pierre Neron

Identified as Pierre Neron
(Delft University of Technology
)

Andrew Tolmach

Identified as Andrew P. Tolmach
(Portland State University
)

Eelco Visser

Identified as Eelco Visser
(Delft University of Technology
)

Guido Wachsmuth

Identified as Guido Wachsmuth
(Delft University of Technology, The Netherlands
)