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, p. 76-90.
  • 2B. Basten, J. Vinju.

    Faster Ambiguity Detection by Grammar Filtering, in: Proceedings of the tenth workshop on Language Descriptions Tools and Applications, C. Brabrand, P.-E. Moreau (editors), 2010.
  • 3P. 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.
  • 4G. Economopoulos, P. Klint, J. Vinju.

    Faster Scannerless GLR Parsing, in: CC '09: Proceedings of the 18th International Conference on Compiler Construction, Berlin, Heidelberg, Springer-Verlag, 2009, p. 126–141.
  • 5Jan van. Eijck, C. Unger.

    Computational Semantics with Functional Programming, Cambridge University Press, September 2010.
  • 6P. Klint, T. van der Storm, J. Vinju.

    RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation, in: Source Code Analysis and Manipulation, IEEE International Workshop on, Los Alamitos, CA, USA, 2009, p. 168-177.

    http://doi.ieeecomputersociety.org/10.1109/SCAM.2009.28
  • 7P. Klint, T. van der Storm, J. Vinju.

    EASY Meta-Programming with RASCAL, in: Generative and Transformational Techniques in Software Engineerin, J. Fernandes, R. Lämmel, J. Saraiva, J. Visser (editors), Lecture Notes in Computer Science, Springer, Heidelberg, 2010, no 6491, p. 222–298.
  • 8Y. Wang, F. Sietsma, Jan van. Eijck.

    Composing Models, in: 9th Conference on Logic and the Foundations of Game and Decision Theory, July 2010.
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journal

  • 10R. Lämmel, V. Zaytsev.

    Recovering Grammar Relationships for the Java Language Specification, in: Software Quality Journal, 2011, vol. 19, no 2, p. 333–378. [ DOI : 10.1007/s11219-010-9116-5 ]

    http://hal.inria.fr/hal-00645313/en
  • 11E. Pacuit, S. Simon.

    Reasoning with Protocols under Imperfect Information, in: The Review of Symbolic Logic, 2011, vol. 4, no 3, p. 412-444.

    http://hal.inria.fr/hal-00644259/en

Articles in National Peer-Reviewed Journal

International Conferences with Proceedings

  • 13L. Aronson, J. Van den Bos.

    Towards an Engineering Approach to File Carver Construction, in: 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops (COMPSACW), Munchen, Germany, IEEE, 2011, p. 368-373.

    http://hal.inria.fr/hal-00644688/en
  • 14B. Basten, P. Klint, J. Vinju.

    Ambiguity Detection : Scaling to Scannerless, in: Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Braga, Portugal, J. Saraiva, U. Assmann, A. Sloane (editors), Springer, July 2011, vol. 6940.

    http://hal.inria.fr/hal-00644053/en
  • 15B. Basten, J. Vinju.

    Parse Forest Diagnostics with Dr. Ambiguity, in: Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Braga, Portugal, J. Saraiva, U. Assmann, A. Sloane (editors), 2011, vol. 6940.

    http://hal.inria.fr/hal-00644063/en
  • 16J. v. Eijck.

    A Geometric Look at Manipulation, in: CLIMA XII 2011, Barcelona, Spain, J. Leite (editor), Springer, 2011, vol. 6814, p. 92–104.

    http://hal.inria.fr/hal-00645301/en
  • 17J. v. Eijck, F. Sietsma.

    Message Passing in a Dynamic Epistemic Logic Setting, in: TARK XIII: Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge, New York, United States, K. Apt (editor), ACM, 2011, p. 212–220.

    http://hal.inria.fr/hal-00645304/en
  • 18J. v. Eijck, F. Sietsma.

    Message-Generated Kripke Semantics, in: Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, Province Of China, P. Yolum, K. Tumer, P. Stone, L. Sonenberg (editors), 2011, p. 1183–1184.

    http://hal.inria.fr/hal-00645298/en
  • 19J. v. Eijck, F. Sietsma, S. Simon.

    Reflections on Vote Manipulation, in: Proceedings of LORI 2011, Guangzhou, China, H. P. van Ditmarsch, J. Lang, S. Ju (editors), Springer, 2011, vol. 6953, p. 386-387.

    http://hal.inria.fr/hal-00644260/en
  • 20B. Fischer, R. Lämmel, V. Zaytsev.

    Comparison of Context-free Grammars Based on Parsing Generated Test Data, in: Post-proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Braga, Portugal, U. Assmann, A. Sloane (editors), Springer, Heidelberg, 2011, vol. 6940.

    http://hal.inria.fr/hal-00645306/en
  • 21P. Klint, M. Hills, J. Van den Bos, T. van der Storm, J. Vinju.

    Rascal: From Algebraic Specification to Meta-Programming, in: Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE), Zurich, Switzerland, 2011, p. 15-32.

    http://hal.inria.fr/hal-00644689/en
  • 22P. Klint, J. Vinju, M. Hills.

    RLSRunner: Linking Rascal with K for Program Analysis, in: Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011), Braga, Portugal, Springer, 2011, vol. 6940.

    http://hal.inria.fr/hal-00644695/en
  • 23B. Lisser, P. Klint, A. Van Der Ploeg.

    Towards a One-Stop-Shop for Analysis, Trasnformation anf Visualization of Software, Proceedings Solftware Language Engineering, in: Fourth International Conference on Software Language Engineering, Braga, Portugal, July 2011.

    http://hal.inria.fr/hal-00645323/en
  • 24J. Vinju, P. Klint, M. Hills, T. van der Storm.

    A Case of Visitor versus Interpreter Pattern, in: Proceedings of the 49th International Conference on Objects, Models, Components and Patterns, Zurich, Switzerland, 2011.

    http://hal.inria.fr/hal-00644685/en
  • 25V. Zaytsev, R. Lämmel.

    A Unified Format for Language Documents, in: Post-proceedings of the Third International Conference on Software Language Engineering (SLE 2010), Braga, Portugal, B. Malloy, S. Staab, M. G. J. van den Brand (editors), Springer-Verlag, 2011, vol. 6563, p. 206–225. [ DOI : 10.1007/978-3-642-19440-5_13 ]

    http://hal.inria.fr/hal-00645324/en
  • 26V. Zaytsev.

    Language Convergence Infrastructure, in: Post-proceedings of the Third International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), Braga, Portugal, J. Miguel, R. Lämmel, J. Visser, J. Saraiva (editors), Springer-Verlag, 2011, vol. 6491, p. 481–497. [ DOI : 10.1007/978-3-642-18023-1_16 ]

    http://hal.inria.fr/hal-00645316/en
  • 27T. van der Storm, J. Van den Bos.

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

    http://hal.inria.fr/hal-00644687/en

National Conferences with Proceeding

  • 28J. Van den Bos, P. Griffioen, T. van der Storm.

    Rascal: Language Technology for Model-Driven Engineering, in: ICT.Open, Veldhoven, Netherlands, 2011.

    http://hal.inria.fr/hal-00644690/en
  • 29J. Vinju, M. Hills, P. Klint, A. Van Der Ploeg, A. Izmaylova, T. van der Storm.

    The Rascal meta-programming language – a lab for software analysis, transformation, generation & visualization, in: ICT.Open, Veldhoven, Netherlands, November 2011.

    http://hal.inria.fr/hal-00644693/en

Scientific Books (or Scientific Book chapters)

  • 30J. v. Benthem, J. van Eijck, J. Jaspars, H. Van Ditmarsch.

    Logic in Action, Internet, 2011.

    http://hal.inria.fr/hal-00646013/en
  • 31N. Dimitri, J. v. Eijck.

    Time discounting and time consistency, in: Games, Actions, and Social Software, J. v. Eijck, R. Verbrugge (editors), Springer Verlag, 2011, vol. 7010, p. 31–41.

    http://hal.inria.fr/hal-00645290/en
  • 32J. v. Eijck.

    Perception and Change in Update Logic, in: Games, Actions, and Social Software, J. v. Eijck, R. Verbrugge (editors), Springer Verlag, 2011, vol. 7010, p. 129–151.

    http://hal.inria.fr/hal-00645291/en
  • 33J. v. Eijck, H. Kamp.

    Discourse Representation in Context, in: Handbook of Logic and Language, J. v. Benthem, A. ter Meulen (editors), Elsevier, 2011.

    http://hal.inria.fr/hal-00645296/en

Internal Reports

Other Publications