If you made any changes in Pure these will be visible here soon.

Research Output

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

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)
Open Access
File
14 Downloads (Pure)
2019

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)

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

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

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
63 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)
42 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
3 Citations (Scopus)
32 Downloads (Pure)

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

Open Access
File
59 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
48 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
167 Downloads (Pure)

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

Open Access
File
114 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)

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

Open Access
File
35 Downloads (Pure)
2017

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

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

3 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
4 Citations (Scopus)
23 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)

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
25 Downloads (Pure)
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
19 Citations (Scopus)
30 Downloads (Pure)

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)

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)

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
6 Citations (Scopus)
41 Downloads (Pure)

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
6 Citations (Scopus)
50 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)

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)

Poulsen, C. B., Neron, P., Tolmach, A. & Visser, E., 2016, p. 1-3. 3 p.

Research output: Contribution to conferenceOtherOther research output

Open Access
File
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)
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

28 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
18 Citations (Scopus)
17 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)

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

Open Access
File
1 Citation (Scopus)
21 Downloads (Pure)
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
31 Citations (Scopus)
31 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)

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

16 Citations (Scopus)

Modular specification and dynamic enforcement of syntactic language constraints when generating code

Erdweg, S., Vergu, V., Mezini, M. & Visser, E., 2014, MODULARITY '14: Proceedings of the 13th international conference on Modularity . New York, NY: Association for Computing Machinery (ACM), p. 241-252 12 p.

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

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

Separation of concerns in language definition

Visser, E., 2014, MODULARITY '14 : Proceedings of the companion publication of the 13th international conference on Modularity . New York, NY: Association for Computing Machinery (ACM), p. 1-2 2 p.

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

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

Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation

Harkes, D. & Visser, E., 2014, Software Language Engineering: 7th International Conference, SLE 2014, Proceedings. Combemale, B., Pearce, D. J., Barais, O. & Vinju, J. J. (eds.). Cham: Springer, p. 241-260 20 p. (Lecture Notes in Computer Science; vol. 8706).

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

6 Citations (Scopus)
2013

A language independent task engine for incremental name and type analysis

Wachsmuth, GH., Konat, GDP., Vergu, VA., Groenewegen, DM. & Visser, E., 2013, Software Language Engineering - Proceedings 6th International Conference SLE 2013. Erwig, M., Paige, R. & van Wyk, E. (eds.). Berlin-Heidelberg: Springer, p. 260-280 21 p. (Lecture Notes in Computer Science; vol. 8225).

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

Open Access
12 Citations (Scopus)

A pure embedding of attribute grammars

Sloane, AM., Kats, LCL. & Visser, E., 2013, In : Science of Computer Programming. 78, 10, p. 1752-1769 18 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
20 Citations (Scopus)

Declarative name binding and scope rules

Konat, GDP., Kats, LCL., Wachsmuth, GH. & Visser, E., 2013, Software Language Engineering - Proceedings 5th International Conference SLE 2012. Czarnecki, K. & Hedin, G. (eds.). Berlin-Heidelberg: Springer, p. 311-331 21 p. (Lecture Notes in Computer Science; vol. 7745).

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

Open Access
35 Citations (Scopus)

DSL Engineering - Designing, implementing and using domain-specific languages

Völter, M., Benz, S., Dietrich, C., Engelmann, B., Helander, M., Kats, LCL., Visser, E. & Wachsmuth, GH., 2013, Stuttgart, Germany: M Volter / DSLBook.org. 560 p.

Research output: Book/ReportBookScientific

Integration of data validation and user interface concerns in a DSL for web applications

Groenewegen, DM. & Visser, E., 2013, In : Software and Systems Modeling. 12, 1, p. 35-52 18 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
8 Citations (Scopus)

Robust real-time synchronization between textual and graphical editors

van Rest, O., Wachsmuth, GH., Steel, JRH., Suss, JG. & Visser, E., 2013, Proceedings - 6th International Conference on Theory and Practice of Model Transformations (ICMT 2013). Duddy, K. & Kappel, G. (eds.). Berlin-Heidelberg: Springer, p. 92-107 16 p. (Lecture Notes in Computer Science; vol. 7909).

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

Open Access
10 Citations (Scopus)

The state of the art in language workbenches: Conclusions from the language workbench challenge

Erdweg, S., van der Storm, T., Völter, M., Boersma, M., Bosman, R., Cook, WR., Gerritsen, A., Hulshout, A., Kelly, S., Loh, A., Konat, GDP., Molina, PJ., Palatnik, M., Pohjonen, R., Schindler, E., Schindler, K., Solmi, R., Vergu, VA., Visser, E., van der Vlist, K. & 2 others, Wachsmuth, GH. & van der Woning, J., 2013, Software Language Engineering - Proceedings 6th International Conference SLE 2013. Erwig, M., Paige, R. & van Wyk, E. (eds.). Berlin-Heidelberg: Springer, p. 197-217 21 p. (Lecture Notes in Computer Science; vol. 8225).

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

77 Citations (Scopus)
2012

A Language Generic Solution for Name Binding Preservation in Refactorings

de Jonge, M. & Visser, E., 2012, Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications (LDTA'12). Sloane, A. & Andova, S. (eds.). New York: Association for Computing Machinery (ACM), p. 2:1-2:8

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

Open Access
4 Citations (Scopus)

An Algorithm for Layout Preservation in Refactoring Transformations

de Jonge, M. & Visser, E., 2012, 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers. Sloane, AM. & Assmann, U. (eds.). Springer, p. 40-59 20 p. (Lecture Notes in Computer Science; vol. 6940).

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

12 Citations (Scopus)