E-LIB Suche - Ergebnisse für: van Binsbergen, L. Thomas

1

JustAct: Actions Universally Justified by Partial Dynamic P..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Esterhuyse, Christopher A. ; Müller, Tim ; van Binsbergen, L. Thomas - p. 60-81 , 2024

Link: https://doi.org/10.1007/..

2

iCoLa+: An extensible meta-language with support for explor..:

Frölich, Damian ; van Binsbergen, L. Thomas
Journal of Systems and Software. 211 (2024) - p. 111979 , 2024

Link: https://doi.org/10.1016/..

3

Adaptive Structural Operational Semantics:

, In: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering,

Jouneaux, Gwendal ; Frölich, Damian ; Barais, Olivier... - p. 29-42 , 2023

Link: https://dl.acm.org/doi/1..

4

A Modular Architecture for Integrating Normative Advisors i..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

Parizi, Mostafa Mohajeri ; van Binsbergen, L. Thomas ; Sileno, Giovanni. - p. 312-329 , 2022

Link: https://doi.org/10.1007/..

5

Dynamic generation of access control policies from social p..:

van Binsbergen, L. Thomas ; Kebede, Milen G. ; Baugh, Joshua..
Procedia Computer Science. 198 (2022) - p. 140-147 , 2022

Link: https://doi.org/10.1016/..

6

A Language-Parametric Approach to Exploratory Programming E..:

, In: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering,

van Binsbergen, L. Thomas ; Frölich, Damian ; Verano Merino, Mauricio... - p. 175-188 , 2022

Link: https://dl.acm.org/doi/1..

7

iCoLa: A Compositional Meta-language with Support for Incre..:

, In: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering,

Frölich, Damian ; van Binsbergen, L. Thomas - p. 202-215 , 2022

Link: https://dl.acm.org/doi/1..

8

Exploring the Enforcement of Private, Dynamic Policies on M..:

, In: 2022 IEEE 18th International Conference on e-Science (e-Science),

Esterhuyse, Christopher A. ; Muller, Tim ; Van Binsbergen, L. Thomas. - p. 481-486 , 2022

Link: https://doi.org/10.1109/..

9

A Generic Back-End for Exploratory Programming:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,

Frolich, Damian ; van Binsbergen, L. Thomas - p. 24-43 , 2021

Link: https://doi.org/10.1007/..

10

Funcons for HGMP: the fundamental constructs of homogeneous..:

van Binsbergen, L. Thomas
ACM SIGPLAN Notices. 53 (2020) 9 - p. 168-174 , 2020

Link: https://doi.org/10.1145/..

11

A principled approach to REPL interpreters:

, In: Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

van Binsbergen, L. Thomas ; Verano Merino, Mauricio ; Jeanjean, Pierre... - p. 84-100 , 2020

Link: https://dl.acm.org/doi/1..

12

Purely functional GLL parsing:

van Binsbergen, L. Thomas ; Scott, Elizabeth ; Johnstone, Adrian
Journal of Computer Languages. 58 (2020) - p. 100945 , 2020

Link: https://doi.org/10.1016/..

13

eFLINT: a domain-specific language for executable norm spec..:

, In: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

van Binsbergen, L. Thomas ; Liu, Lu-Chi ; van Doesburg, Robert. - p. 124-136 , 2020

Link: https://dl.acm.org/doi/1..

14

Executable component-based semantics:

van Binsbergen, L. Thomas ; Mosses, Peter D. ; Sculthorpe, Neil
Journal of Logical and Algebraic Methods in Programming. 103 (2019) - p. 184-212 , 2019

Link: https://doi.org/10.1016/..

15

Derivation representation using binary subtree sets:

Scott, Elizabeth ; Johnstone, Adrian ; van Binsbergen, L. Thomas
Science of Computer Programming. 175 (2019) - p. 63-84 , 2019

Link: https://doi.org/10.1016/..