L. Thomas van Binsbergen

Orcid: 0000-0001-8113-2221

According to our database1, L. Thomas van Binsbergen authored at least 24 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals.
CoRR, 2023

Adaptive Structural Operational Semantics.
Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

Towards a Purpose-Based Access Control Model Derived from the Purpose Limitation Principle.
Proceedings of the Legal Knowledge and Information Systems, 2023

2022
DPCL: a Language Template for Normative Specifications.
CoRR, 2022

iCoLa: A Compositional Meta-language with Support for Incremental Language Development.
Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

A Language-Parametric Approach to Exploratory Programming Environments.
Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

A Modular Architecture for Integrating Normative Advisors in MAS.
Proceedings of the Multi-Agent Systems - 19th European Conference, 2022

Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution.
Proceedings of the 18th IEEE International Conference on e-Science, 2022

2021
A Generic Back-End for Exploratory Programming.
Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

Dynamic generation of access control policies from social policies.
Proceedings of the 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) / The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2021), 2021

2020
Purely functional GLL parsing.
J. Comput. Lang., 2020

A principled approach to REPL interpreters.
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

eFLINT: a domain-specific language for executable norm specifications.
Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

2019
Executable formal specification of programming languages with reusable components.
PhD thesis, 2019

Derivation representation using binary subtree sets.
Sci. Comput. Program., 2019

Executable component-based semantics.
J. Log. Algebraic Methods Program., 2019

2018
GLL parsing with flexible combinators.
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Checking cryptographic API usage with composable annotations (short paper).
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper).
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

2017
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback.
Int. J. Artif. Intell. Educ., 2017

2016
Tool support for component-based semantics.
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015
Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection.
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

2014
Model solutions and properties for diagnosing student programs in Ask-Elle.
Proceedings of the Computer Science Education Research Conference, 2014


  Loading...