L. Thomas van Binsbergen

Registered user since Tue 9 Dec 2014

Name:L. Thomas van Binsbergen
Bio:

Thomas van Binsbergen is investigating modular techniques for the specification of the semantics and syntax of software languages and is applying these techniques for the development of meta-languages and domain-specific languages. Recent topics of interest include fundamental programming construct specification (funcons), incremental and exploratory programming environments (such as REPLs and notebooks), domain-specific languages in the context of distributed data processing, and legal reasoning in distributed access control.

Keywords: modular language definition, domain-specific languages, formal specification, modelling languages, policy-enhanced data-sharing, data exchange systems, generalised top-down parsing, declarative programming, purely functional programming, I-MSOS, FunCons, attribute grammars, computer science education.

Country:Netherlands
Affiliation:University of Amsterdam
Research interests:Programming Languages, Software Languages, Domain-Specific Languages, Meta-Languages, Semantics, Syntax

Contributions

Show activities from other conferences

Using general profile