1. 2018
  2. PIE: A Domain-Specific Language for Interactive Software Development Pipelines

    Konat, G., Steindorfer, M., Erdweg, S. & Visser, E., 29 Mar 2018, In : Art, Science, and Engineering of Programming. 2, 3, p. 1-31 31 p., 9.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Towards Zero-Overhead Disambiguation of Deep Priority Conflicts

    de Souza Amorim, L. E., Steindorfer, M. J. & Visser, E., 29 Mar 2018, In : Art, Science, and Engineering of Programming. 3, 3, p. 1-26 26 p., 13.

    Research output: Contribution to journalArticleScientificpeer-review

  4. To-many or to-one? All-in-one! Efficient purely functional multi-maps with type-heterogeneous hash-tries

    Steindorfer, M. J. & Vinju, J. J., 11 Jun 2018, PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM), p. 283-295 13 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  5. Compositional soundness proofs of abstract interpreters

    Keidel, S., Poulsen, C. & Erdweg, S., 1 Sep 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery (ACM), Vol. 2. 26 p. 72

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  6. 2019
  7. Declarative Specification of Information System Data Models and Business Logic

    Harkes, D., 2019, 181 p.

    Research output: ThesisDissertation (TU Delft)

  8. Declarative Syntax Definition for Modern Language Workbenches

    de Souza Amorim, E., 2019, 222 p.

    Research output: ThesisDissertation (TU Delft)

  9. Iron: Managing obligations in higher-order concurrent separation logic

    Bizjak, A., Gratzer, D., Krebbers, R. & Birkedal, L., 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, p. 65:1-65:30 30 p., 65.

    Research output: Contribution to journalArticleScientificpeer-review

  10. Language-Parametric Methods for Developing Interactive Programming Systems

    Konat, G., 2019, 156 p.

    Research output: ThesisDissertation (TU Delft)

  11. Lessons learned from developing mbeddr: a case study in language engineering with MPS

    Völter, M., Kolb, B., Szabó, T., Ratiu, D. & van Deursen, A., 2019, In : Software and Systems Modeling. 18, 1, p. 585-630 46 p.

    Research output: Contribution to journalArticleScientificpeer-review

  12. Semi-automated Reasoning About Non-determinism in C Expressions

    Frumin, D., Gondelman, L. & Krebbers, R., 2019, Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Caires, L. (ed.). Cham: Springer, p. 60-87 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11423 LNCS).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  13. Executable component-based semantics

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

    Research output: Contribution to journalArticleScientificpeer-review

  14. Software meta-language engineering and CBS

    Mosses, P. D., 30 Jan 2019, In : Journal of Computer Languages. 50, p. 39-48 10 p.

    Research output: Contribution to journalArticleScientificpeer-review

  15. Scopes and frames improve meta-interpreter specialization

    Vergu, V., Tolmach, A. & Visser, E., 1 Jul 2019, 33rd European Conference on Object-Oriented Programming, ECOOP 2019. Donaldson, A. F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 134. p. 4:1-4:30 30 p. 4

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  16. Towards language-parametric semantic editor services based on declarative type system specifications

    Pelsmaeker, D. A. A., van Antwerpen, H. & Visser, E., 1 Jul 2019, 33rd European Conference on Object-Oriented Programming, ECOOP 2019. Donaldson, A. F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 134. 18 p. 26

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  17. Towards improved GADT reasoning in Scala

    Parreaux, L., Boruch-Gruszecki, A. & Giarrusso, P. G., 17 Jul 2019, Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019. Association for Computing Machinery (ACM), p. 12-16 5 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  18. A longitudinal field study on creation and use of domain-specific languages in industry

    Denkers, J., 12 Aug 2019, ESEC/FSE 2019 : Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (eds.). New York: Association for Computing Machinery (ACM), p. 1152-1155 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  19. From definitional interpreter to symbolic executor

    Mensing, A. D., Van Antwerpen, H., Poulsen, C. B. & Visser, E., 20 Oct 2019, META 2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, co-located with SPLASH 2019. Scholliers, C. & Chari, G. (eds.). Association for Computing Machinery (ACM), p. 11-20 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  20. Towards language-parametric semantic editor services based on declarative type system specifications

    Pelsmaeker, D. A. A., Van Antwerpen, H. & Visser, E., 20 Oct 2019, SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Smaragdakis, Y. (ed.). Association for Computing Machinery (ACM), p. 19-20 2 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  21. A Component-Based Formal Language Workbench

    Mosses, P. D., 23 Dec 2019, Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. Monahan, R., Prevosto, V. & Proença, J. (eds.). Cornell University Library - arXiv.org, Vol. 310. p. 29-34 6 p. (EPTCS).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  22. 2020
  23. Actris: Session-type based reasoning in separation logic

    Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, p. 1-30 6.

    Research output: Contribution to journalArticleScientificpeer-review

ID: 19976