Mr L. Thomas van Binsbergen

  1. 2018
  2. Forthcoming

    Executable Component-Based Semantics

    van Binsbergen, L. T., Mosses, P. D. & Sculthorpe, N., 13 Nov 2018, (Accepted/In press) In : Journal of Logical and Algebraic Methods in Programming.

    Research output: Contribution to journalArticle

  3. Published
  4. Published

    GLL parsing with flexible combinators

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

    Research output: Contribution to conferencePaper

  5. 2017
  6. 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

  7. Published

    Checking Cryptographic API Usage with Composable Annotations

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

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

  8. 2016
  9. 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

  10. 2015
  11. 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

  12. 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

  13. 2014
  14. 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