1. Article › Scientific › Peer-reviewed
  2. 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: Contribution to journalArticleScientificpeer-review

  3. Evaluating and comparing language workbenches: Existing results and benchmarks for the future

    Erdweg, S., van der Storm, T., Völter, M., Tratt, L., Bosman, R., Cook, W. R., Gerritsen, A., Hulshout, A., Kelly, S., Loh, A., Konat, G., Molina, P. J., Palatnik, M., Pohjonen, R., Schindler, E., Schindler, K., Solmi, R., Vergu, V., Visser, E., Van Der Vlist, K. & 2 othersWachsmuth, G. & Van Der Woning, J., 1 Dec 2015, In : Computer Languages, Systems and Structures. 44, p. 24-47 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  4. Exploration of language specifications by compilation to first-order logic

    Grewe, S., Erdweg, S., Pacak, A., Raulf, M. & Mezini, M., 2018, In : Science of Computer Programming. 155, p. 146-172 27 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

    Harkes, D. C. & Visser, E., 2017, In : Dagstuhl Artifacts Series. 3, 1, p. 1:1-1:2

    Research output: Contribution to journalArticleScientificpeer-review

  6. Incrementalizing Lattice-Based Program Analyses in Datalog

    Szabo, T., Bergmann, G., Erdweg, S. & Voelter, M., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-29 29 p., 139.

    Research output: Contribution to journalArticleScientificpeer-review

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

  8. Iris from the ground up: A modular foundation for higher-order concurrent separation logic

    Jung, R., Krebbers, R., Jourdan, J-H., Bizjak, A., Birkedal, L. & Dreyer, D., 2018, In : Journal of Functional Programming. 28, p. 1-73 73 p., e20.

    Research output: Contribution to journalArticleScientificpeer-review

  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 Design with the Spoofax Language Workbench

    Wachsmuth, G. H., Konat, G. D. P. & Visser, E., 2014, In : IEEE Software. 31, 5, p. 35-43 9 p.

    Research output: Contribution to journalArticleScientificpeer-review

  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. MoSeL: A general, extensible modal framework for interactive proofs in separation logic

    Krebbers, R., Jourdan, J-H., Jung, R., Tassarotti, J., Kaiser, J-O., Timany, A., Charguéraud, A. & Dreyer, D., 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, p. 77:1-77:30 30 p., 77.

    Research output: Contribution to journalArticleScientificpeer-review

  13. Mtac2: Typed tactics for backward reasoning in Coq

    Kaiser, J-O., Ziliani, B., Krebbers, R., Régis-Gianas, Y. & Dreyer, D., 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, p. 78:1-78:31 31 p., 78.

    Research output: Contribution to journalArticleScientificpeer-review

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

  15. RustBelt: securing the foundations of the rust programming language

    Jung, R., Jourdan, J-H., Krebbers, R. & Dreyer, D., Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 66:1-66:34 34 p., 66.

    Research output: Contribution to journalArticleScientificpeer-review

  16. Scopes as Types

    van Antwerpen, H., Bach Poulsen, C., Rouvoet, A. & Visser, E., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-30 30 p., 114.

    Research output: Contribution to journalArticleScientificpeer-review

  17. Sound Type-Dependent Syntactic Language Extension

    Lorenzen, F. & Erdweg, S., 2016, In : ACM SIGPLAN Notices. 51, 1, p. 204-216 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

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

  19. Understanding software through linguistic abstraction

    Visser, E., 1 Jan 2015, In : Science of Computer Programming. 97, P1, p. 11-16 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  20. Versatile Event Correlation with Algebraic Effects

    Bračevac, O., Amin, N., Salvaneschi, G., Erdweg, S., Eugster, P. & Mezini, M., 2018, In : Proceedings of the ACM on Programming Languages. 2, ICFP, p. 1-31 31 p., 67.

    Research output: Contribution to journalArticleScientificpeer-review

  21. Editorial › Scientific › Not peer-reviewed
  22. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

    Cabot, J. & Visser, E., 2011, In : Lecture Notes in Computer Science. 6707 LNCS

    Research output: Contribution to journalEditorialScientific

  23. Special issue on generative programming and component engineering (Selected Papers from GPCE 2004/2005)

    Glück, R. & Visser, E., 1 May 2011, In : Science of Computer Programming. 76, 5, p. 347-348 2 p.

    Research output: Contribution to journalEditorialScientific

  24. Conference contribution › Scientific › Peer-reviewed
  25. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  26. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  27. A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs

    Visser, E., Wachsmuth, G., Tolmach, A., Neron, P., Vergu, V., Passalaqua Martins, A. & Konat, G., 20 Oct 2014, Onward! 2014: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. New York, NY: Association for Computing Machinery (ACM), p. 95-111 17 p.

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

  28. A Theory of Name Resolution

    Neron, P., Tolmach, A., Visser, E. & Wachsmuth, G., 2015, Programming Languages and Systems: 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Vitek, J. (ed.). Berlin: Springer Verlag, p. 205-231 27 p. (Lecture Notes in Computer Science; vol. 9032).

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

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

  30. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  31. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  32. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  33. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  34. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  35. 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. 72

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

  36. Conf.Researchr.Org: Towards a domain-specific content management system for managing large conference websites

    van Chastelet, E., Visser, E. & Anslow, C., 25 Oct 2015, SPLASH Companion 2015: Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. New York, NY: Association for Computing Machinery (ACM), p. 50-51 2 p.

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

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

  38. Dedicated Support for Analyses and Optimizations in Language Workbenches

    Szabó, T., 2016, SPLASH Companion 2016 : Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity. New York: Association for Computing Machinery (ACM), p. 3-5 3 p.

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

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

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

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

  40. Dynsem: A DSL for dynamic semantics specification

    Vergu, V., Neron, P. & Visser, E., 1 Jun 2015, 26th International Conference on Rewriting Techniques and Applications, RTA 2015. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 36. p. 365-378 14 p.

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

  41. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  42. Exploration of Language Specifications by Compilation to First-order Logic

    Grewe, S., Erdweg, S., Raulf, M. & Mezini, M., 2016, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming. New York: Association for Computing Machinery (ACM), p. 104--117 14 p.

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

  43. Facilitating Twitter data analytics: Platform, language and functionality

    Tao, K., Hauff, C., Houben, G. J., Abel, F. & Wachsmuth, G., 7 Jan 2015, Proceedings - 2014 IEEE International Conference on Big Data, IEEE Big Data 2014. Institute of Electrical and Electronics Engineers Inc., p. 421-430 10 p. 7004259

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

  44. Finding Bugs in Program Generators by Dynamic Analysis of Syntactic Language Constraints1

    Erdweg, S., Vergu, V., Mezini, M. & Visser, E., 2014, MODULARITY'14: Proceedings of the companion publication of the 13th International Conference on Modularity. New York: Association for Computing Machinery (ACM), p. 17-20 4 p.

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

  45. FlowSpec: Declarative Dataflow Analysis Specification

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

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

  46. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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

    Harkes, D. & Visser, E., 2017, 31st European Conference on Object-Oecoopriented Programming, ECOOP 2017. Müller, P. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-29 29 p. (Leibniz International Proceedings in Informatics (LIPIcs); no. 74).

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

  48. 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: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  49. IncAL: A DSL for Incremental Program Analysis with Lattices

    Szabo, T., Volter, M. & Erdweg, S., 2017, International Workshop on Incremental Computing (IC), 2017..

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

  50. Incremental Overload Resolution in Object-Oriented Programming Languages

    Szabo, T., Kuci, E., Bijman, M., Mezini, M. & Erdweg, S., 2018, ISSTA '18 Companion Proceedings for the ISSTA/ECOOP 2018 Workshops . New York, NY: Association for Computing Machinery (ACM), p. 27-33 7 p.

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

  51. Interactive proofs in higher-order concurrent separation logic

    Krebbers, R., Timany, A. & Birkedal, L., 2017, POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. New York: Association for Computing Machinery (ACM), p. 205-217 13 p. (ACM SIGPLAN Notices ; vol. 52, no. 1).

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

  52. Migrating Business Logic to an Incremental Computing DSL: A Case Study

    Harkes, D. C., van Chastelet, E. & Visser, E., 2018, SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering. Pearce, D., Friedrich, S. & Mayerhofer, T. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 83-96 14 p.

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

  53. Migrating Custom DSL Implementations To a Language Workbench (Tool Demo)

    Denkers, J., van Gool, L. & Visser, E., 2018, Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering. New York, NY: Association for Computing Machinery (ACM), p. 205-209 5 p.

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

Previous 1 2 Next

ID: 19976