Blogs (9) >>
SPLASH 2016
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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
Model Checking and TransformationMETA at Matterhorn 3
Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany
08:30
30m
Talk
Evolution of Metaprograms: XSLT as a Metaprogramming Language
META
Vadim Zaytsev Raincode, Belgium
Media Attached File Attached
09:00
30m
Talk
Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
META
Harumi Watanabe Tokai University, Ikuta Tanigawa Kyusyu University, Nobuhiko Ogura Tokyo City University, Midori Sugaya Shibaura Institute of Technology, Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University
File Attached
09:30
30m
Talk
Implementation of LMNtal Model Checkers: a Metaprogramming Approach
META
Yutaro Tsunekawa Waseda University, Taichi Tomioka Waseda University, Kazunori Ueda Waseda University
Media Attached File Attached