Research Output

Filter
Conference contribution
2020

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)

Multi-purpose Syntax Definition with SDF3

de Souza Amorim, L. & Visser, E., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Cham: Springer, p. 1-23 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12310 ).

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

Open Access
File
2 Downloads (Pure)
2019

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

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)

Scopes and frames improve meta-interpreter specialization

Vergu, V., Tolmach, A. & Visser, E., 1 Jul 2019, 33rd European Conference on Object-Oriented Programming, ECOOP 2019. Donaldson, A. F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 134. p. 4:1-4:30 30 p. 4

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

Open Access
File
19 Downloads (Pure)

Semi-automated Reasoning About Non-determinism in C Expressions

Frumin, D., Gondelman, L. & Krebbers, R., 2019, Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Caires, L. (ed.). Cham: Springer, p. 60-87 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11423 LNCS).

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

Open Access
File
45 Downloads (Pure)

Towards improved GADT reasoning in Scala

Parreaux, L., Boruch-Gruszecki, A. & Giarrusso, P. G., 17 Jul 2019, Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019. Association for Computing Machinery (ACM), p. 12-16 5 p.

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

Towards language-parametric semantic editor services based on declarative type system specifications

Pelsmaeker, D. A. A., Van Antwerpen, H. & Visser, E., 20 Oct 2019, SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Smaragdakis, Y. (ed.). Association for Computing Machinery (ACM), p. 19-20 2 p.

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

Open Access
File
15 Downloads (Pure)

Towards language-parametric semantic editor services based on declarative type system specifications

Pelsmaeker, D. A. A., van Antwerpen, H. & Visser, E., 1 Jul 2019, 33rd European Conference on Object-Oriented Programming, ECOOP 2019. Donaldson, A. F. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 134. 18 p. 26

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

Open Access
File
1 Citation (Scopus)
10 Downloads (Pure)
2018

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)

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)

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

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)
44 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)

PixieDust: Declarative Incremental User Interface Rendering Through Static Dependency Tracking

ten Veen, N., Harkes, D. C. & Visser, E., 2018, Companion of the The Web Conference 2018 on The Web Conference 2018. New York: Association for Computing Machinery (ACM), p. 721-729 9 p.

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

Open Access
File
50 Downloads (Pure)

ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency

Frumin, D., Krebbers, R. & Birkedal, L., 2018, LICS'18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY: Association for Computing Machinery (ACM), p. 442-451 10 p.

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

4 Citations (Scopus)
1 Downloads (Pure)

Scalable Incremental Building with Dynamic Task Dependencies

Konat, G., Erdweg, S. & Visser, E., 2018, ASE 2018: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering . New York, NY: Association for Computing Machinery (ACM), p. 76-86 11 p.

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

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

Specializing a meta-interpreter: JIT compilation of dynsem specifications on the graal VM

Vergu, V. & Visser, E., 2018, Proceedings of the 15th International Conference on Managed Languages and Runtimes, ManLang 2018. New Yorj, NY: Association for Computing Machinery (ACM), 14 p. 16

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

1 Citation (Scopus)
95 Downloads (Pure)

System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers

Grewe, S., Erdweg, S., Pacak, A. & Mezini, M., 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. New York, NY: Association for Computing Machinery (ACM), p. 1-10 10 p.

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

To-many or to-one? All-in-one! Efficient purely functional multi-maps with type-heterogeneous hash-tries

Steindorfer, M. J. & Vinju, J. J., 11 Jun 2018, PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM), p. 283-295 13 p.

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

2017

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)

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)

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)

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)

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)

The Essence of Higher-Order Concurrent Separation Logic

Krebbers, R., Jung, R., Bizjak, A., Jourdan, J-H., Dreyer, D. & Birkedal, L., 2017, Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017 - Proceedings. Yang, H. (ed.). Berlin: Springer, p. 696-723 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10201 LNCS).

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

23 Citations (Scopus)

The semantics of name resolution in Grace

Vergu, V., Haisma, M. & Visser, E., 2017, DLS Proceedings of the 13th ACM SIGPLAN International Symposium on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017. Ancona, D. (ed.). New York: Association for Computing Machinery (ACM), p. 63-74 12 p. (ACM Sigplan Notices- DLS'17; vol. 52, no. 11).

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

Open Access
File
26 Downloads (Pure)

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: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

2016

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)

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)
240 Downloads (Pure)

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)

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)

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

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)

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)

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)

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)

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: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

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: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

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

Software that meets its intent

Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings: 7th International Symposium, ISoLA 2016. Margaria, T. & Steffen, B. (eds.). II ed. Cham: Springer, p. 609-625 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9953 LNCS).

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

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

The IDE Portability Problem and Its Solution in Monto

Keidel, S., Pfeiffer, W. & Erdweg, S., 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. 152-162 11 p.

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

4 Citations (Scopus)
2015

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)

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

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)

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)
2014

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)

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)