Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Tue 1 Nov 2016 14:45 - 15:00 at Zürich 2 - Language Validation Chair(s): Ralf Laemmel

IBM’s High Level Assembler (HLASM) is a low level programming language for z/Architecture mainframe computers. Many legacy codebases contain large fractions written in HLASM for various reasons, and such components usually had to be manually rewritten in COBOL or PL/I before migration to a modern framework could take place. Now, the Raincode ASM370 compiler for .NET supports HLASM syntax and emulates the data types and behaviour of the original language, allowing to port, maintain and interactively debug legacy mainframe assembler code under .NET.

Tue 1 Nov

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

13:30 - 15:10
Language ValidationSLE at Zürich 2
Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany
13:30
25m
Talk
Automated Testing Support for Reactive Domain-Specific Modelling Languages
SLE
Bart Meyers University of Antwerp, Belgium, Joachim Denil University of Antwerp, Belgium, István Dávid University of Antwerp, Belgium, Hans Vangheluwe University of Antwerp, Canada
DOI
13:55
25m
Talk
Side Effects Take the Blame
SLE
Felipe Bañados Schwerter University of British Columbia, Canada
DOI
14:20
25m
Talk
Symbolic Execution of High-Level TransformationsArtifact EvaluationDistinguished paper nominee
SLE
Ahmad Salim Al-Sibahi IT University of Copenhagen, Denmark, Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark
Link to publication DOI Pre-print Media Attached
14:45
15m
Talk
Raincode Assembler Compiler (Tool Demo)
SLE
Volodymyr Blagodarov Raincode, Belgium, Yves Jaradin Raincode, Belgium, Vadim Zaytsev Raincode, Belgium
DOI