Searched for:
(1 - 6 of 6)
document
Van Antwerpen, H. (author), Néron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (author)
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...
report 2015
document
Van Antwerpen, H. (author), Néron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (author)
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...
report 2015
document
Van Antwerpen, H. (author), Neron, P. (author), Tolmach, A. (author), Visser, E. (author), Wachsmuth, G. (author)
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...
report 2015
document
Puylaert, H. (author), Werksma, H. (author), De Zeeuw, W.C.T.F. (author), Franzen, A.J. (author), Oude Veldhuis, C. (author), Aalbers, K.P.M. (author), Van Antwerpen, J. (author), Van Griendt, B. (author), Van Rheenen, M.G. (author)
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...
report 2011
document
Van Antwerpen, F. (author)
doctoral thesis 1971
document
Van Antwerpen, A.P. (author), Hofman, M.C. (author)
Document(en) uit de collectie Chemische Procestechnologie
report 1969
Searched for:
(1 - 6 of 6)