Hendrik van Antwerpen - SPLASH 2019

Write a Blog >>

Sun 20 - Fri 25 October 2019 Athens, Greece

Registered user since Fri 27 Nov 2015

Name:Hendrik van Antwerpen

Country:Netherlands

Affiliation:TU Delft

Personal website: http://hendrik.van-antwerpen.net/

Research interests:Programming Languages, Static Program Analysis, Type Checking, Name Resolution, Constraint Solving

Contributions

2019

SPLASH

Language-Parametric Semantic Editor Services based on Declarative Type System Specifications

META

From Definitional Interpreter To Symbolic Executor

Show activities from other conferences

SPLASH 2019-profile
View general profile