1. 2017
  2. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Poulsen, C., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E. 10 Nov 2017 Proceedings of the ACM on Programming Languages, Vol. 2, No. POPL. Association for Computing Machinery (ACM)

    Research output: Scientific - peer-reviewConference contribution

  3. Deep Priority Conflicts in the Wild: A Pilot Study

    de Souza Amorim, L. E., Steindorfer, M. J. & Visser, E. 23 Oct 2017 Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. New York, NY, USA: Association for Computing Machinery (ACM), p. 55-66 12 p. (SLE 2017)

    Research output: Scientific - peer-reviewConference contribution

  4. FlowSpec: Declarative Dataflow Analysis Specification

    Smits, J. & Visser, E. Oct 2017 Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. Combemale, B., Mernik, M. & Rumpe, B. (eds.). Vancouver, BC, Canada: Association for Computing Machinery (ACM), p. 221-231 11 p.

    Research output: Scientific - peer-reviewConference contribution

  5. IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition

    Harkes, D. & Visser, E. 2017 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain. 0001, P. M. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 74, (LIPIcs)

    Research output: Scientific - peer-reviewConference contribution

  6. 2016
  7. A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: An experience report

    Van Der Lippe, T., Smith, T., Pelsmaeker, D. & Visser, E. 30 Oct 2016 SCALA 2016 - Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala. New York: Association for Computing Machinery (ACM), p. 65-74 10 p.

    Research output: Scientific - peer-reviewConference contribution

  8. Principled Syntactic Code Completion using Placeholders

    De Souza Amorim, L. E., Erdweg, S., Wachsmuth, G. & Visser, E. 20 Oct 2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2016. Varro, D., Balland, E. & van der Storm, T. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 163-175 13 p.

    Research output: Scientific - peer-reviewConference contribution

  9. IceDust: Incremental and eventual computation of derived values in persistent object graphs

    Harkes, D. C., Groenewegen, D. M. & Visser, E. 1 Jul 2016 30th European Conference on Object-Oriented Programming, ECOOP 2016. Krishnamurthi, S. & Lerner, B. S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-26 26 p. 11. (Leibniz International Proceedings in Informatics; vol. 56)

    Research output: Scientific - peer-reviewConference contribution

  10. Scopes describe frames: A uniform model for memory layout in dynamic semantics

    Poulsen, C. B., Néron, P., Tolmach, A. & Visser, E. 1 Jul 2016 30th European Conference on Object-Oriented Programming, ECOOP 2016. Krishnamurthi, S. & Lerner, B. S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 56, p. 1-26 26 p. 20

    Research output: Scientific - peer-reviewConference contribution

  11. A Constraint Language for Static Semantic Analysis Based on Scope Graphs

    van Antwerpen, H., Néron, P., Tolmach, A., Visser, E. & Wachsmuth, G. Jan 2016 PEPM '16: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. New York, NY: Association for Computing Machinery (ACM), p. 49-60 12 p.

    Research output: Scientific - peer-reviewConference contribution

  12. Bootstrapping Domain-Specific Meta-Languages in Language Workbenches

    Konat, G., Erdweg, S. & Visser, E. 2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Schaefer, I. & Fischer, B. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 47-58 12 p.

    Research output: Scientific - peer-reviewConference contribution

Previous 1 2 3 4 5 6 7 8 9 Next

ID: 202181