Collaborated with:E.Visser Daniël A. A. Pelsmaeker C.B.Poulsen Arjen Rouvoet P.Neron A.P.Tolmach G.Wachsmuth
Talks about:languag (2) semant (2) scope (2) type (2) base (2) constraint (1) parametr (1) analysi (1) toward (1) system (1)
Person: Hendrik van Antwerpen
DBLP: Antwerpen:Hendrik_van
Contributed to:
2018
2019
2016Wrote 3 papers:
- OOPSLA-2018-AntwerpenPRV
- Scopes as types (HvA, CBP, AR, EV), p. 30.
- ECOOP-2019-PelsmaekerAV #declarative #editing #idea #parametricity #semantics #specification #towards #type system
- Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper) (DAAP, HvA, EV), p. 18.
- PEPM-2016-AntwerpenNTVW #analysis #constraints #graph #semantics
- A constraint language for static semantic analysis based on scope graphs (HvA, PN, APT, EV, GW), pp. 49–60.