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), 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.
Contributions