A Constraint Language for Static Semantic Analysis based on Scope Graphs with Proofs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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-009, Software Engineering Research Group, Delft University of Technology, September 2015.

The following is a more recent and up-to-date version 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-012, 2015.

The following are older variants of this publication:

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.

The following publications are possibly variants of this publication:

A constraint language for static semantic analysis based on scope graphsHendrik van Antwerpen, Pierre Néron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth. PEPM 2016: 49-60 [doi]

Scopes as typesHendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser. PACMPL, 2(OOPSLA), 2018. [doi]

A Constraint-based Approach to Name Binding and Type Checking using Scope GraphsHendrik van Antwerpen. Master's thesis, Delft University of Technology, January 2016.

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic SemanticsCasper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser. ECOOP 2016: [doi]

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser. darts, 2(1), 2016. [doi]

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

Static consistency checking of web applications with WebDSLZef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. JSC, 46(2):150-182, 2011. [doi]

runs on WebDSL