1. 2020
  2. FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis

    Smits, J., Wachsmuth, G. & Visser, E., 2020, In : Journal of Computer Languages. 57, p. 1-39 39 p., 100924.

    Research output: Contribution to journalArticleScientificpeer-review

  3. 2019
  4. 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/Report/Conference proceedingConference contributionScientificpeer-review

  5. 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/Report/Conference proceedingConference contributionScientificpeer-review

  6. 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/Report/Conference proceedingConference contributionScientificpeer-review

  7. 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/Report/Conference proceedingConference contributionScientificpeer-review

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

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

  11. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E., 10 Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16.

    Research output: Contribution to journalArticleScientificpeer-review

  12. Declarative specification of indentation rules: A tooling perspective on parsing and pretty-printing layout-sensitive languages

    de Souza Amorim, L. E., Erdweg, S., Steindorfer, M. J. & Visser, E., 2018, SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Soft ware Language Engineering. Pearce, D., Friedrich, S. & Mayerhofer, T. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 3-15 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Previous 1 2 3 4 5 6 7 8 ...11 Next

ID: 202181