A Theory of Name Resolution with extended Coverage and Proofs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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.

This technical report is published as:

A Theory of Name ResolutionPierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. ESOP 2015: 205-231 [doi]

The following publications are related publications by (some of) the same authors, but are not direct variants of this publication.

A Constraint Language for Static Semantic Analysis based on Scope Graphs with ProofsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-009, 2015.
Language-Independent Type-Dependent Name ResolutionHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-006, 2015.
A Constraint Language for Static Semantic Analysis based on Scope Graphs with ProofsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-012, 2015.

The following are duplicate records for the exact same publication:

A Theory of Name Resolution with Extended Coverage and ProofsPierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. Technical Report TUD-SERG-2015-001, 2015. [doi]

runs on WebDSL