1. 2017
  2. A Co-contextual Type Checker for Featherweight Java

    Kuci, E., Erdweg, S., Bračevac, O., Bejleri, A. & Mezini, M. 2017 31st European Conference on Object-Oriented Programming (ECOOP 2017). Müller, P. (ed.). p. 1-26 26 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 74)

    Research output: Scientific - peer-reviewConference contribution

  3. A Module-System Discipline for Model-Driven Software Development

    Erdweg, S. & Ostermann, K. 2017 In : Art, Science, and Engineering of Programming. 1, 2, p. 1-28 28 p., 9

    Research output: Scientific - peer-reviewArticle

  4. Toward Abstract Interpretation of Program Transformations

    Keidel, S. & Erdweg, S. 2017 Meta 2017 Proceedings of the 2Nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection. New York: Association for Computing Machinery (ACM), p. 1-5 5 p.

    Research output: Scientific - peer-reviewConference contribution

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

  7. An Extensible Framework for Variable-Precision Data-flow Analyses in MPS

    Szabó, T., Alperovich, S., Voelter, M. & Erdweg, S. Sep 2016 ASE 2016 Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Lo, D. (ed.). New York: Association for Computing Machinery (ACM), p. 870-875 6 p.

    Research output: Scientific - peer-reviewConference contribution

  8. IncA: A DSL for the Definition of Incremental Program Analyses

    Szabó, T., Erdweg, S. & Voelter, M. Sep 2016 ASE 2016 Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Lo, D. (ed.). New York: Association for Computing Machinery (ACM), p. 320-331 12 p.

    Research output: Scientific - peer-reviewConference contribution

  9. CPL: A Core Language for Cloud Computing

    Bračevac, O., Erdweg, S., Salvaneschi, G. & Mezini, M. 14 Mar 2016 Proceedings of the 15th International Conference on Modularity, Modularity 2016. New York, NY: Association for Computing Machinery (ACM), p. 94-105 12 p.

    Research output: Scientific - peer-reviewConference contribution

  10. Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny

    Grewe, S., Erdweg, S. & Mezini, M. 2016 Proceedings of the 3rd Vampire Workshop. Kovacs, L. & Voronkov, A. (eds.). EPIC 2009, p. 33-45 13 p. (EPIC Series in Computing; vol. 44)

    Research output: Scientific - peer-reviewConference contribution

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

  12. Efficient Development of Consistent Projectional Editors Using Grammar Cells

    Voelter, M., Szabó, T., Lisson, S., Kolb, B., Erdweg, S. & Berger, T. 2016 SLE 2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering. van der Storm, T. (ed.). New York: Association for Computing Machinery (ACM), p. 28-40 13 p.

    Research output: Scientific - peer-reviewConference contribution

Previous 1 2 Next

ID: 110865