Mr L. Thomas van Binsbergen

  1. 2019
  2. Published

    Executable Component-Based Semantics

    van Binsbergen, L. T., Mosses, P. D. & Sculthorpe, N., Feb 2019, In : Journal of Logical and Algebraic Methods in Programming. 103, p. 184-212 29 p.

    Research output: Contribution to journalArticle

  3. E-pub ahead of print

    Derivation representation using binary subtree sets

    Scott, E., Johnstone, A. & van Binsbergen, L. T., 25 Jan 2019, In : Science of Computer Programming.

    Research output: Contribution to journalArticle

  4. 2018
  5. Published
  6. Published

    GLL parsing with flexible combinators

    van Binsbergen, L. T., Scott, E. & Johnstone, A., 24 Oct 2018 13 p.

    Research output: Contribution to conferencePaper

  7. 2017
  8. Published

    Checking cryptographic API usage with composable annotations

    Mitchell, D., van Binsbergen, L. T., Loring, B. & Kinder, J., 25 Dec 2017, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018). p. 53-59 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Published

    Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback

    Gerdes, A. & van Binsbergen, L. T., Mar 2017, In : International Journal of Artificial Intelligence in Education. 27, 1, p. 65-100 36 p.

    Research output: Contribution to journalArticle

  10. 2016
  11. Published

    Tool support for component-based semantics

    van Binsbergen, L. T., 14 Mar 2016, Companion Proceedings of the 15th International Conference on Modularity.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. 2015
  13. Published

    Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection

    van Binsbergen, L. T., 13 Jan 2015, p. 49-60 12 p.

    Research output: Contribution to conferencePaper

  14. Published

    Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving

    van Binsbergen, L. T., 1 Jan 2015, Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin / Heidelberg, Vol. 9035, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 9035)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. 2014
  16. Published

    Model solutions and properties for diagnosing student programs in Ask-Elle

    van Binsbergen, L. T., 5 Nov 2014, p. 31-40 10 p.

    Research output: Contribution to conferencePaper