EN FR
EN FR


previous Previous | up Home


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.
  • 3Jan van. Eijck, C. Unger.

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

    The State Of The Art In Language Workbenches. Conclusions From The Language Workbench Challenge, in: Proceedings of the International Conference on Software Language Engineering (SLE, 2013), Indianapolis, USA, 2013.

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

    Meta-Language Support For Type-Safe Access To External Resources, in: Pre-Proceedings of the 5th International Conference on Software Language Engineering, Dresden, Netherlands, K. Czarnecki, G. Hedin (editors), Fakultät Informatik, Technische Universität Dresden, 2012, pp. 370 - 389.

    http://hal.inria.fr/hal-00756878
  • 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
  • 9P. Klint, T. van der 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
  • 10P. 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
  • 11A. Loh, T. van der Storm, J. W. 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
  • 12B. C. d. S. Oliveira, T. Storm, A. Loh, W. R. Cook.

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

    http://hal.inria.fr/hal-00923387
  • 13J. J. 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.
  • 14J. 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
  • 15J. 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
  • 16J. 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
  • 17T. van der Storm, J. W. 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
Publications of the year

Articles in International Peer-Reviewed Journals

  • 18F. A. G. Sietsma, K. R. Apt.

    Common Knowledge In Email Exchanges, in: ACM Transactions on Computational Logic, 2013, vol. 14, no 3, pp. 1 - 23.

    http://hal.inria.fr/hal-00923396
  • 19F. A. G. Sietsma, D. J. N. Eijck.

    Action Emulation Between Canonical Models, in: Journal of Philosophical Logic, 2013, vol. 42, no 6, pp. 905 - 925.

    http://hal.inria.fr/hal-00923395
  • 20A. J. Van Der Ploeg.

    Drawing Non-Layered Tidy Trees In Linear Time, in: Software – Practice and Experience, 2013.

    http://hal.inria.fr/hal-00923389
  • 21D. J. N. van Eijck, T. van der Storm.

    Understanding Information Update In Questionnaires, in: Science of Computer Programming, 2013.

    http://hal.inria.fr/hal-00923384
  • 22T. van der Storm, J. J. Vinju.

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

    http://hal.inria.fr/hal-00923385

International Conferences with Proceedings

  • 23A. Afroozeh, M. G. J. Van Den Brand, A. Johnstone, E. Scott, J. J. Vinju.

    Safe Specification Of Operator Precedence Rules, in: Proceedings of the International Conference on Software Language Engineering (SLE, 2013), K. Czarnecki, G. Hedin (editors), 2013.

    http://hal.inria.fr/hal-00923391
  • 24S. Erdweg, T. van der Storm, M. Voelter, M. Boersma, 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, K. B. Van Der Vlist, G. Wachsmuth, J. M. Van Der Woning.

    The State Of The Art In Language Workbenches. Conclusions From The Language Workbench Challenge, in: Proceedings of the International Conference on Software Language Engineering (SLE, 2013), 2013.

    http://hal.inria.fr/hal-00923386
  • 25M. A. Hills, P. Klint, J. J. Vinju.

    An Empirical Study Of PHP Feature Usage, in: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA, 2013), M. Pezze, M. Harman (editors), 2013.

    http://hal.inria.fr/hal-00923390
  • 26P. Klint, D. Landman, J. J. Vinju.

    Exploring The Limits Of Domain Model Recovery, in: 29th IEEE International Conference on Software Maintenance (ICSM), 2013, IEEE Computer Society, 2013, pp. 120 - 129.

    http://hal.inria.fr/hal-00923392
  • 27P. Klint, A. J. Van Der Ploeg.

    A Library For Declarative Resolution-Independent 2D Graphics, in: Proceedings of the Practical Aspects of Declarative Languages (PADL, 2013), 2013.

    http://hal.inria.fr/hal-00923381
  • 28P. Klint, R. van Rozen.

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

    http://hal.inria.fr/hal-00923383
  • 29R. Lämmel, V. Zaytsev.

    Language Support For Megamodel Renarration, in: Proceedings of the Extreme Modeling Workshop (XM, 2013), J. de Lara, D. Di Ruscio, A. Pierantonio (editors), 2013.

    http://hal.inria.fr/hal-00923398
  • 30B. C. d. S. 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), 2013.

    http://hal.inria.fr/hal-00923387
  • 31A. J. Van Der Ploeg.

    Monadic Functional Reactive Programming, in: Proceedings of the ACM SIGPLAN Haskell Symposium, C. Shan (editor), 2013.

    http://hal.inria.fr/hal-00923382
  • 32V. Zaytsev.

    Micropatterns In Grammars, in: Proceedings of the International Conference on Software Language Engineering (SLE, 2013), M. Erwig, R. F. Paige, E. van Wyk (editors), 2013.

    http://hal.inria.fr/hal-00923399
  • 33V. Zaytsev.

    Pending Evolution Of Grammars, in: Proceedings of the Extreme Modeling Workshop (XM, 2013), J. de Lara, D. Di Ruscio, A. Pierantonio (editors), 2013.

    http://hal.inria.fr/hal-00923397
  • 34J. van den Bos, T. van der Storm.

    A Case Study In Evidence-Based DSL Evolution, in: Proceedings of the 9th European Conference on Modelling Foundations and Applications, P. Van Gorp, T. Ritter, L. M. Rose (editors), Lecture Notes in Computer Science, Springer, 2013, vol. 7949, pp. 207 - 219.

    http://hal.inria.fr/hal-00923401
  • 35J. van den Bos, T. van der Storm.

    TRINITY: An IDE For The Matrix, in: Proceedings of the 28th IEEE International Conference on Software Maintenance, IEEE, 2013, pp. 520 - 523.

    http://hal.inria.fr/hal-00923400
  • 36T. van der Storm.

    Semantic Deltas For Live DSL Environments, in: Proceedings of the International Workshop on Live Programming (LIVE, 2013), 2013.

    http://hal.inria.fr/hal-00923388

Internal Reports



previous Previous | up Home