Registered user since Tue 9 Dec 2014
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), and domain-specific languages in the context of distributed data processing.
Van Binsbergen has developed modular techniques for describing the semantics of programming languages as part of the PLanCompS project with Peter Mosses and parser combinators for generalised top-down parsing with Adrian Johnstone and Elizabeth Scott. The results are described in his PhD thesis titled “Executable Formal Specification of Programming Languages with Reusable Components” (http://ltvanbinsbergen.nl/thesis/thesis.pdf).
Keywords: modular language definition, domain-specific languages, formal specification, modelling languages, policy-enhanced data-sharing, generalised top-down parsing, declarative programming, purely functional programming, I-MSOS, FunCons, attribute grammars, computer science education