1. Dissertation (TU Delft) › Scientific
  2. Declarative Specification of Information System Data Models and Business Logic

    Harkes, D., 2019, 181 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  3. Declarative Syntax Definition for Modern Language Workbenches

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

    Research output: ThesisDissertation (TU Delft)Scientific

  4. Language-Parametric Methods for Developing Interactive Programming Systems

    Konat, G., 2019, 156 p.

    Research output: ThesisDissertation (TU Delft)Scientific

  5. Working paper › Scientific
  6. Other › Other research output
  7. 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

  8. Abstract › Scientific
  9. We Should Stop Claiming Generality in Our Domain-Specific Language Papers

    Harkes, D. C., 2018, p. 131-132. 2 p.

    Research output: Contribution to conferenceAbstractScientific

  10. Conference contribution › Scientific › Peer-reviewed
  11. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 3 4 5 Next

ID: 19976