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

In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We...

A Constraint Language for Static Semantic Analysis based on Scope Graphs

In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We...

Language-Independent Type-Dependent Name Resolution

We extend and combine two existing declarative formalisms, the scope graphs of Neron et al. and type constraint systems, to build a language-independent theory that can describe both name and type resolution for realistic languages with complex scope and typing rules. Unlike conventional static semantics presentations, our approach maintains a...

Duurzame gebiedsontwikkeling: Doe de tienkamp!

Deze publicatie heeft tot doel een brede benadering van gebiedsontwikkeling te stimuleren, waarin duurzaamheid een vanzelfsprekend én belangrijk aspect is. Idealiter is gebiedsontwikkeling per definitie duurzame gebiedsontwikkeling. Elk gebied is anders en elk project is anders. Duurzame gebiedsontwikkeling is maatwerk. Dat maakt dat een...

Kinetics of crystallization phenomena of spherulites in poly(ethylene terephthalaté)

Ontzwaveling van rookgassen met alkalized alumina

Document(en) uit de collectie Chemische Procestechnologie