A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs

Hendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs. Technical Report TUD-SERG-2015-012, Software Engineering Research Group, Delft University of Technology, November 2015.

Authors

Hendrik van Antwerpen

Identified as Hendrik van Antwerpen
(Delft University of Technology
)

Pierre Neron

Identified as Pierre Néron
(TU Delft
)

Andrew P. 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
)