Research Output

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
2 Citations (Scopus)
154 Downloads (Pure)

A Component-Based Formal Language Workbench

Mosses, P. D., 23 Dec 2019, Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. Monahan, R., Prevosto, V. & Proença, J. (eds.). Cornell University Library - arXiv.org, Vol. 310. p. 29-34 6 p. (EPTCS).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
7 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
20 Citations (Scopus)
30 Downloads (Pure)

Actris: Session-type based reasoning in separation logic

Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, p. 1-30 6.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
4 Citations (Scopus)
26 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
32 Citations (Scopus)
32 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

Open Access
File
18 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

3 Citations (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
2 Citations (Scopus)
241 Downloads (Pure)

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, p. 205-231 27 p. (Lecture Notes in Computer Science; vol. 9032).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

29 Citations (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
16 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
1 Citation (Scopus)
155 Downloads (Pure)

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. 26 p. 72

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
7 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
4 Citations (Scopus)
24 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
1 Citation (Scopus)
70 Downloads (Pure)

Declarative Specification of Information System Data Models and Business Logic

Harkes, D., 2019, 181 p.

Research output: ThesisDissertation (TU Delft)

Open Access
File
125 Downloads (Pure)

Declarative Syntax Definition for Modern Language Workbenches

de Souza Amorim, E., 2019, 222 p.

Research output: ThesisDissertation (TU Delft)

Open Access
File
172 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
19 Citations (Scopus)
17 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

10 Citations (Scopus)

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

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

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
37 Downloads (Pure)

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 others, Wachsmuth, 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

70 Citations (Scopus)

Evolution of the WebDSL runtime: Reliability engineering of the WebDSL web programming language

Groenewegen, D. M., Chastelet, E. V. & Visser, E., 2020, Programming 2020 - Conference Companion of the 4th International Conference on Art, Science, and Engineering of Programming. Aguiar, A., Chiba, S. & Boix, E. G. (eds.). New York, NY, USA: Association for Computing Machinery (ACM), p. 77-83 7 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
1 Downloads (Pure)

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

Open Access
File
7 Downloads (Pure)

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

Open Access
File
2 Citations (Scopus)
4 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

5 Citations (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

6 Citations (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)

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

Open Access
File
24 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

5 Citations (Scopus)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
20 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
7 Citations (Scopus)
42 Downloads (Pure)

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

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
9 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
5 Citations (Scopus)
23 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

19 Citations (Scopus)

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

Open Access
File
10 Citations (Scopus)
25 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

23 Citations (Scopus)

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

Open Access
File
64 Downloads (Pure)
Open Access
File
17 Downloads (Pure)

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

Open Access
File
31 Citations (Scopus)
22 Downloads (Pure)

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

Open Access
File
60 Downloads (Pure)

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

17 Citations (Scopus)

Language-Parametric Methods for Developing Interactive Programming Systems

Konat, G., 2019, 156 p.

Research output: ThesisDissertation (TU Delft)

Open Access
File
59 Downloads (Pure)

Leibniz equality is isomorphic to Martin-Löf identity, parametrically

Abel, A., Cockx, J., Devriese, D., Timany, A. & Wadler, P., 2020, In : Journal of Functional Programming. 30, p. 1-14 14 p., e17.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
1 Downloads (Pure)

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

Open Access
File
6 Citations (Scopus)
252 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
1 Citation (Scopus)
46 Downloads (Pure)

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/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Open Access
File
4 Citations (Scopus)
35 Downloads (Pure)