Blogs (9) >>
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Sun 30 Oct 2016 08:30 - 09:00 at Matterhorn 3 - Model Checking and Transformation Chair(s): Ralf Laemmel

Metaprogramming is a methodology of constructing programs that analyse and transform other programs. Metaprograms themselves evolve as well, and there are times when this evolution means migrating to a different metalanguage. We illustrate this complicated scenario by a concrete case of porting grammar manipulation scripts from XSLT to Rascal, and list common metaprogramming features from XSLT used in the corpus.

Slides (META-export.pdf)1.67MiB
Paper (meta16-final4.pdf)222KiB

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00: Model Checking and TransformationMETA at Matterhorn 3
Chair(s): Ralf LaemmelUniversity of Koblenz-Landau, Germany
08:30 - 09:00
Evolution of Metaprograms: XSLT as a Metaprogramming Language
Vadim ZaytsevRaincode, Belgium
Media Attached File Attached
09:00 - 09:30
Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
Harumi WatanabeTokai University, Ikuta TanigawaKyusyu University, Nobuhiko OguraTokyo City University, Midori SugayaShibaura Institute of Technology, Kenji HisazumiKyushu University, Akira FukudaKyushu University
File Attached
09:30 - 10:00
Implementation of LMNtal Model Checkers: a Metaprogramming Approach
Yutaro TsunekawaWaseda University, Taichi TomiokaWaseda University, Kazunori UedaWaseda University
Media Attached File Attached