Esterhuyse, C. A., Müller, T., van Binsbergen, L. T., & Belloum, A. S. Z. (2022). Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution. In Proceedings - 2022 IEEE 18th International Conference on e-Science, eScience 2022 (pp. 481-486). IEEE Computer Society. https://doi.org/10.1109/eScience55777.2022.00086
Frölich, D., & van Binsbergen, L. T. (2022). ICoLa: A Compositional Meta-Language with Support for Incremental Language Development. In Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (pp. 202–215). Association for Computing Machinery. https://doi.org/10.1145/3567512.3567529
Parizi, M. M., van Binsbergen, L. T., Sileno, G., & van Engers, T. (2022). A Modular Architecture for Integrating Normative Advisors in MAS. In D. Baumeister, & J. Rothe (Eds.), Multi-Agent Systems: 19th European Conference, EUMAS 2022, Düsseldorf, Germany, September 14–16, 2022 : proceedings (pp. 312-329). (Lecture Notes in Computer Science; Vol. 13442), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-031-20614-6_18[details]
Verano Merino, M., van Binsbergen, L. T., & Seraj, M. (2022). Making the Invisible Visible in Computational Notebooks. In 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (pp. 1-3). IEEE Computer Society. https://doi.org/10.1109/VL/HCC53370.2022.9833148
van Binsbergen, L. T., Frölich, D., Verano Merino, M., Jeanjean, P., van der Storm, T., Combemale, B., Barais, O., & Lai, J. (2022). A Language-Parametric Approach to Exploratory Programming Environments. In Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (pp. 175–188). (SLE 2022). Association for Computing Machinery. https://doi.org/10.1145/3567512.3567527
van Binsbergen, L. T., Kebede, M. G., Baugh, J., van Engers, T., & van Vuurden, D. G. (2022). Dynamic generation of access control policies from social policies. Procedia Computer Science, 198, 140-147. https://doi.org/10.1016/j.procs.2021.12.221[details]
Frolich, D., & van Binsbergen, L. T. (2021). A generic back-end for exploratory programming. In V. Zsók, & J. Hughes (Eds.), Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021 : revised selected papers (pp. 24-43). (Lecture Notes in Computer Science; Vol. 12834). Springer. https://doi.org/10.1007/978-3-030-83978-9_2[details]
2020
van Binsbergen, L. T., Liu, L-C., van Doesburg, R., & van Engers, T. (2020). eFLINT: a domain-specific language for executable norm specifications. In M. Erwig, & J. Gray (Eds.), GPCE '20: proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : November 16-17, 2020, Virtual, USA (pp. 124-136). Association for Computing Machinery. https://doi.org/10.1145/3425898.3426958[details]
van Binsbergen, L. T., Scott, E., & Johnstone, A. (2020). Purely functional GLL parsing. Journal of Computer Languages, 58, [100945]. https://doi.org/10.1016/j.cola.2020.100945
van Binsbergen, L. T., Verano Merino, M., Jeanjean, P., van der Storm, T., Combemale, B., & Barais, O. (2020). A principled approach to REPL interpreters. In Onward! 2020: Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (pp. 84-100). ACM. https://doi.org/10.1145/3426428.3426917
2019
Scott, E., Johnstone, A., & van Binsbergen, L. T. (2019). Derivation representation using binary subtree sets. Science of Computer Programming, 175, 63-84. https://doi.org/10.1016/j.scico.2019.01.008
van Binsbergen, L. T., Mosses, P. D., & Sculthorpe, N. (2019). Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming, 103, 184-212. https://doi.org/10.1016/j.jlamp.2018.12.004
2018
Mitchell, D., Loring, B., Thomas Van Binsbergen, L., & Kinder, J. (2018). Checking cryptographic API usage with composable annotations (short paper). In H-S. Ko, & F. Henglein (Eds.), PEPM 2018 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2018 (pp. 53-59). Association for Computing Machinery, Inc. https://doi.org/10.1145/3162071
Thomas van Binsbergen, L., Scott, E., & Johnstone, A. (2018). GLL parsing with flexible combinators. In D. Pearce, S. Friedrich, & T. Mayerhofer (Eds.), SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering, co-located with SPLASH 2018 (pp. 174-186). Association for Computing Machinery, Inc. https://doi.org/10.1145/3276604.3276618
Van Binsbergen, L. T. (2018). Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming. In E. Van Wyk, & T. Rompf (Eds.), GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018 (pp. 168-174). Association for Computing Machinery, Inc. https://doi.org/10.1145/3278122.3278132
2017
Gerdes, A., Heeren, B., Jeuring, J., & van Binsbergen, L. T. (2017). Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. International Journal of Artificial Intelligence in Education, 27(1), 65-100. https://doi.org/10.1007/s40593-015-0080-x
2016
Van Binsbergen, L. T., Sculthorpe, N., & Mosses, P. D. (2016). Tool support for component-based semantics. In D. Batory, L. Fuentes, & K. Czarnecki (Eds.), MODULARITY Companion 2016 - Companion Proceedings of the 15th International Conference on Modularity (pp. 8-11). Association for Computing Machinery, Inc. https://doi.org/10.1145/2892664.2893464
2015
Bransen, J., Van Binsbergen, L. T., Claessen, K., & Dijkstra, A. (2015). Linearly ordered attribute grammar scheduling using SAT-solving. In C. Tinelli, & C. Baier (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings (pp. 289-303). (Lecture Notes in Computer Science; Vol. 9035). Springer. https://doi.org/10.1007/978-3-662-46681-0_24
Van Binsbergen, L. T., Bransen, J., & Dijkstra, A. (2015). Linearly ordered attribute grammars with automatic augmenting dependency selection. In PEPM 2015 - Proceedings of the 2015 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2015 (pp. 49-60). Association for Computing Machinery, Inc. https://doi.org/10.1145/2678015.2682543
2014
Jeuring, J., Van Binsbergen, L. T., Gerdes, A., & Heeren, B. (2014). Model solutions and properties for diagnosing student programs in Ask-Elle. In E. Barendsen, E. Barendsen, & V. Dagiene (Eds.), Proceedings - CSERC 2014: Computer Science Education Research Conference (pp. 31-40). Association for Computing Machinery, Inc. https://doi.org/10.1145/2691352.2691355
De UvA maakt gebruik van cookies en daarmee vergelijkbare technieken voor het functioneren, meten en optimaliseren van de website. Ook worden er cookies geplaatst om bijv. YouTube filmpjes te kunnen tonen en voor marketingdoeleinden. Deze laatste categorie betreffen de tracking cookies. Uw internetgedrag kan worden gevolgd door middel van deze tracking cookies. Door op “Accepteer alle cookies” te klikken gaat u hiermee akkoord. Lees ook het UvA Privacy statement
Noodzakelijk
Cookies noodzakelijk voor het basisfunctioneren van de website. Deze cookies worden bijvoorbeeld ingezet om het inloggen voor studenten en medewerkers mogelijk te maken.
Noodzakelijk & Optimalisatie
Cookies die worden geplaatst om anoniem gegevens te verzamelen over het gebruik van de website om deze te verbeteren.
Noodzakelijk & Optimalisatie & Marketing
Cookies die in staat stellen bezoekers te volgen en van gepersonaliseerde advertenties te voorzien. Externe advertentienetwerken verzamelen individuele gegevens over internetgedrag. Selecteer deze categorie om YouTube video's te kunnen kijken.