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

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

  3. Elaborating dependent (co)pattern matching: No pattern left behind

    Cockx, J. & Abel, A., 2020, In : Journal of Functional Programming. e2.

    Research output: Contribution to journalArticleScientificpeer-review

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

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

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

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

  8. 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 (IEEE), p. 421-430 10 p. 7004259

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

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

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

ID: 19976