EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1B. Basten.

    Tracking Down the Origins of Ambiguity in Context-Free Grammars, in: Seventh International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), A. Cavalcanti, D. Deharbe, M.-C. Gaudel, J. Woodcock (editors), Springer, September 2010, vol. 6255, pp. 76-90.
  • 2P. Charles, R. M. Fuhrer, S. M. Sutton Jr, E. Duesterwald, J. Vinju.

    Accelerating the Creation of Customized, Language-Specific IDEs in Eclipse, in: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, S. Arora, G. T. Leavens (editors), 2009.
  • 3B. C. Dos Santos Oliveira, T. Van Der Storm, A. Loh, W. R. Cook.

    Feature-Oriented Programming With Object Algebras, in: Proceedings of the European Conference on Object-Oriented Programming (ECOOP), 2013.

    http://hal.inria.fr/hal-00923387
  • 4J. V. Eijck, C. Unger.

    Computational Semantics with Functional Programming, Cambridge University Press, September 2010.
  • 5S. Erdweg, T. v. d. Storm, M. Voelter, L. Tratt, R. Bosman, W. R. Cook, A. Gerritsen, A. Hulshout, S. Kelly, A. Loh, G. Konat, P. J. Molina, M. Palatnik, R. Pohjonen, E. Schindler, K. Schindler, R. Solmi, V. Vergu, E. Visser, K. B. v. d. Vlist, G. Wachsmuth, J. M. v. d. Woning.

    Evaluating And Comparing Language Workbenches: Existing Results And Benchmarks For The Future, in: Computer Languages, Systems and Structures, 2015, vol. 44, no Part A, pp. 24 - 47.

    https://hal.inria.fr/hal-01261481
  • 6M. Hills, P. Klint, J. Vinju.

    Program Analysis Scenarios In Rascal, in: Proceedings of the International Workshop on Rewriting Logic and its Applications (WRLA, 2012), Talinn, Estonia, F. Durán (editor), Springer, 2012, vol. 7571, pp. 10 - 30, An invited paper for WRLA 2012, describing our work on program analysis and comparing our approach to approaches based on rewriting logic semantics.

    http://hal.inria.fr/hal-00756880
  • 7M. Hills, P. Klint, J. Vinju.

    Scripting A Refactoring With Rascal And Eclipse, in: Proceedings of the 5th Workshop on Refactoring Tools 2012, Rapperswil, Switzerland, P. Sommerlad (editor), ACM, 2012, pp. 40 - 49.

    http://hal.inria.fr/hal-00756879
  • 8M. Hills, P. Klint, T. Van Der Storm, J. Vinju.

    A One-Stop Shop For Software Evolution Tool Construction, in: ERCIM News, 2012, no 88, pp. 11 - 12.

    http://hal.inria.fr/hal-00756876
  • 9A. Izmaylova, P. Klint, A. Shahi, J. Vinju.

    M3: An Open Model For Measuring Code Artifacts, 2013, no arXiv-1312.1188, pp. 1-2.

    https://hal.inria.fr/hal-00923379
  • 10P. Klint, T. v. d. Storm, J. Vinju.

    RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation, in: IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'09), Los Alamitos, CA, USA, 2009, pp. 168-177.

    http://doi.ieeecomputersociety.org/10.1109/SCAM.2009.28
  • 11P. Klint, T. Van Der Storm, J. Vinju.

    EASY Meta-programming with Rascal, in: Generative and Transformational Techniques in Software Engineering III, J. Fernandes, R. Lämmel, J. Visser, J. Saraiva (editors), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2011, vol. 6491, pp. 222-289.

    http://dx.doi.org/10.1007/978-3-642-18023-1_6
  • 12P. Klint, R. Van Rozen.

    Micro-Machinations: A DSL For Game Economies, in: Proceedings of the International Conference on Software Language Engineering (SLE, 2013), Unknown, M. Erwig, R. F. Paige, E. van Wyk (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 8225, pp. 36 - 55.

    https://hal.inria.fr/hal-00923383
  • 13A. Loh, T. Van Der Storm, W. R. Cook.

    Managed Data: Modular Strategies For Data Abstraction, in: Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software 2012, Tucson, United States, ACM, 2012, pp. 179 - 194.

    http://hal.inria.fr/hal-00756886
  • 14M. J. Steindorfer, J. J. Vinju.

    Optimizing Hash-array Mapped Tries for Fast and Lean Immutable JVM Collections, in: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, New York, NY, USA, OOPSLA 2015, ACM, 2015, pp. 783–800.

    http://doi.acm.org/10.1145/2814270.2814312
  • 15T. Van Der Storm, J. Vinju.

    Towards Multilingual Programming Environments, in: Science of Computer Programming, 2013.

    https://hal.inria.fr/hal-00923385
  • 16T. Van Der Storm, W. R. Cook, A. Loh.

    Object Grammars: Compositional & Bidirectional Mapping Between Text and Graphs, in: Software Language Engineering, Dresden, Germany, K. Czarnecki, G. Hedin (editors), September 2012.

    http://hal.inria.fr/hal-00758627
  • 17J. Vinju, M. W. Godfrey.

    What does control flow really look like? Eyeballing the Cyclomatic Complexity Metric, in: Ninth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'12), IEEE Computer Society, 2012.
  • 18J. van den Bos, T. Van Der Storm.

    Bringing Domain-Specific Languages to Digital Forensics, in: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, Honolulu, United States, ACM, 2011, pp. 671-680.

    http://hal.inria.fr/hal-00644687/en
  • 19J. van den Bos, T. Van Der Storm.

    Domain-Specific Languages For Better Forensic Software, in: ERCIM News, 2012, vol. 2012, no 90.

    http://hal.inria.fr/hal-00756885
  • 20J. van den Bos, T. Van Der Storm.

    Domain-Specific Optimization In Digital Forensics, in: Proceedings of the International Conference on Model Transformation (ICMT, 2012), Prague, Czech Republic, Z. Hu, J. de Lara (editors), Springer, 2012, vol. 7307, pp. 121 - 136.

    http://hal.inria.fr/hal-00756891
Publications of the year

Articles in International Peer-Reviewed Journals

  • 21H. J. S. Basten, J. v. d. Bos, M. A. Hills, P. Klint, A. W. Lankamp, B. Lisser, A. J. v. d. Ploeg, T. v. d. Storm, J. J. Vinju.

    Modular Language Implementation In Rascal ― Experience Report, in: Science of Computer Programming, December 2015, vol. 114, pp. 7 - 19.

    https://hal.inria.fr/hal-01261480
  • 22J. V. Eijck, T. v. d. Storm.

    Understanding Information Update In Questionnaires, in: Science of Computer Programming, January 2015, vol. 97, no Part 1.

    https://hal.inria.fr/hal-01261475
  • 23S. Erdweg, T. v. d. Storm, M. Voelter, L. Tratt, R. Bosman, W. R. Cook, A. Gerritsen, A. Hulshout, S. Kelly, A. Loh, G. Konat, P. J. Molina, M. Palatnik, R. Pohjonen, E. Schindler, K. Schindler, R. Solmi, V. Vergu, E. Visser, K. B. v. d. Vlist, G. Wachsmuth, J. M. v. d. Woning.

    Evaluating And Comparing Language Workbenches: Existing Results And Benchmarks For The Future, in: Computer Languages, Systems and Structures, 2015, vol. 44, no Part A, pp. 24 - 47.

    https://hal.inria.fr/hal-01261481
  • 24T. v. d. Storm, J. J. Vinju.

    Towards Multilingual Programming Environments, in: Science of Computer Programming, January 2015, vol. 97, no Part 1.

    https://hal.inria.fr/hal-01261474

International Conferences with Proceedings

  • 25A. Afroozeh, A. Izmaylova.

    One Parser to Rule Them All, in: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, New York, NY, USA, Onward! 2015, ACM, 2015, pp. 151–170. [ DOI : 10.1145/2814228.2814242 ]

    https://hal.inria.fr/hal-01261484
  • 26B. Almeida, S. Ananiadou, A. Bagnato, A. Berreteaga, J. Di Rocco, D. Di Ruscio, D. Kolovos, I. Korkontzelos, S. Hansen, P. Maló, N. Matragkas, R. F. Paige, J. J. Vinju.

    OSSMETER: Automated Measurement And Analysis Of Open Source Software, in: Proceedings of International Conference on Software Technologies: Applications and Foundations 2015 (STAF 0), L'Aquila, Italy, Lecture Notes in Computational Science and Engineering, Springer, 2015.

    https://hal.archives-ouvertes.fr/hal-01261966
  • 27H. J. S. Basten, M. A. Hills, P. Klint, D. Landman, A. Shahi, M. Steindorfer, J. J. Vinju.

    M3: A General Model For Source Code Analytics In Rascal, in: Proceedings of International Workshop on Software Analytics 2015 (SWAN 2015), Montreal, Canada, IEEE, March 2015.

    https://hal.inria.fr/hal-01261493
  • 28J. V. Benthem, J. V. Eijck, M. Gattinger, K. Su.

    Symbolic Model Checking for Dynamic Epistemic Logic, in: Logic, Rationality, and Interaction; 5th International Workshop, LORI 2015, Taipei, Taiwan, W. v. d. Hoek, H. H. Wesley, W. Wen-fang (editors), LNCS, Springer, 2015, no 9394, pp. 366–378.

    https://hal.inria.fr/hal-01261492
  • 29D. DiRuscio, D. Kolovos, N. Matragkas, I. Korkontzelos, J. J. Vinju.

    OSSMETER: A Software Measurement Platform For Automatically Analysing Open Source Software Projects, in: Proceedings of Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on Foundations of Software Engineering 2015 (ESEC/FSE), Bergame, Italy, ACM International Conference Proceeding Series, ACM, 2015.

    https://hal.archives-ouvertes.fr/hal-01261967
  • 30J. V. Eijck, M. Gattinger.

    Elements of Epistemic Crypto Logic (Extended Abstract), in: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), Istanbul, Turkey, Bordini, Elkind, Weiss, Yolum (editors), 2015.

    https://hal.inria.fr/hal-01261489
  • 31M. Gattinger, J. V. Eijck.

    Towards Model Checking Cryptographic Protocols with Dynamic Epistemic Logic, in: Proceedings LAMAS (LAMAS 2015), Istanbul, Turkey, 2015, available from http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/accepted.htm .

    https://hal.inria.fr/hal-01261491
  • 32C. Hentz, J. J. Vinju, A. M. Moreira.

    Reducing The Cost Of Grammar-Based Testing Using Pattern Coverage, in: Proceedings of IFIP International Conference on Testing Software and Systems 2015 (ICTSS), Dubai, United Arab Emirates, Springer, 2015.

    https://hal.archives-ouvertes.fr/hal-01261968
  • 33F. Hermans, T. v. d. Storm.

    Copy-Paste Tracking: Fixing Spreadsheets Without Breaking Them, in: Proceedings of the International Conference on Live Coding (ICLC, 2015), Leeds, UK, 2015.

    https://hal.inria.fr/hal-01261473
  • 34P. A. Inostroza Valdera, T. v. d. Storm.

    Modular Interpreters For The Masses: Implicit Context Propagation Using Object Algebras, in: Proceedings of ACM International Conference on Generative Programming and Component Engineering 2015 (GPCE 0), C. Kästner, A. Gokhālé (editors), ACM International Conference Proceeding Series, ACM, 2015, pp. 171 - 180.

    https://hal.inria.fr/hal-01261476
  • 35R. v. Rozen.

    A Pattern-Based Game Mechanics Design Assistant, in: Proceedings of Foundations of Digital Games 2015 (FDG 2015), Pacific Grove, United States, Society for the Advancement of the Science of Digital Games, 2015, at Asilomar Conference Grounds.

    https://hal.archives-ouvertes.fr/hal-01261970
  • 36R. v. Rozen, T. v. d. Storm.

    Origin Tracking + Text Differencing = Textual Model Differencing, in: Theory and Practice of Model Transformations, Springer International Publishing, 2015, pp. 18 - 33.

    https://hal.inria.fr/hal-01261479
  • 37M. J. Steindorfer, J. J. Vinju.

    Optimizing Hash-array Mapped Tries for Fast and Lean Immutable JVM Collections, in: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, New York, NY, USA, OOPSLA 2015, ACM, 2015, pp. 783–800. [ DOI : 10.1145/2814270.2814312 ]

    https://hal.inria.fr/hal-01261487
  • 38J. H. Stoel.

    A Case For Rebel, A DSL For Product Specifications, in: Proceedings of Domain-specific Language Design and Implementation 2015 (DSLDI 0), arXiv, 2015, pp. 9 - 11.

    https://hal.archives-ouvertes.fr/hal-01261969
  • 39H. Zhang, Z. Chu, B. C. Dos Santos Oliveira, T. v. d. Storm.

    Scrap Your Boilerplate With Object Algebras, in: Proceedings of the Object-oriented Programming, Systems, Languages, and Applications (OOPSLA, 2015), 2015.

    https://hal.inria.fr/hal-01261477

Scientific Books (or Scientific Book chapters)

  • 40T. v. d. Storm, S. Erdweg (editors)

    Proceedings Of The 3rd Workshop On Domain-Specific Language Design And Implementation (DSLDI'15), August 2015.

    https://hal.inria.fr/hal-01261478
  • 41A. Afroozeh, A. Izmaylova.

    Faster, Practical GLL Parsing, in: Compiler Construction, B. Franke (editor), Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2015, vol. 9031, pp. 89-108. [ DOI : 10.1007/978-3-662-46663-6_5 ]

    https://hal.inria.fr/hal-01261483
  • 42J. V. Benthem, H. v. Ditmarsch, J. V. Eijck, J. Jaspars.

    Logic in Action, Internet, 2015, electronic book, available from url below.

    https://hal.inria.fr/hal-01261490
  • 43J. V. Eijck.

    Implementing Semantic Theories, in: Handbook of Contemporary Semantics, Second Edition, S. Lappin, C. Fox (editors), Wiley, 2015, pp. 455–491.

    https://hal.inria.fr/hal-01261485
  • 44J. V. Eijck.

    Strategies in Social Software, in: Modeling Strategic Reasoning: Logics, Games and Communities, J. van Benthem, S. Ghosh, R. Verbrugge (editors), LNCS, Springer, 2015, no 8972.

    https://hal.inria.fr/hal-01261486
  • 45J. V. Eijck.

    Varieties of Belief and Probability, in: The Facts Matter ―- Essays on Logic and Cognition in Honour of Rineke Verbrugge, S. Ghosh, J. Szymanik (editors), Tributes, Volume 25, College Publications, 2015, pp. 67–87.

    https://hal.inria.fr/hal-01261488
References in notes
  • 46B. C. Dos Santos Oliveira, W. R. Cook.

    Extensibility for the Masses, in: ECOOP 2012–Object-Oriented Programming, Springer, 2012, pp. 2–27.
  • 47A. Izmaylova, A. Afroozeh, T. v. d. Storm.

    Practical, General Parser Combinators, in: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, New York, NY, USA, PEPM 2016, ACM, 2016, pp. 1–12.

    http://doi.acm.org/10.1145/2847538.2847539
  • 48A. J. v. d. Ploeg.

    Efficient Abstractions For Visualization And Interaction, Universiteit van Amsterdam, April 2015, pp. 1 - 146.

    http://oai.cwi.nl/oai/asset/23618/23618A.pdf