ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Tue 7 Jul 2015 14:00 - 14:30 at Karlstejn - Session 3

In this talk, we present some of the ideas behind the course on “DSLs of Mathematics (DSLM)”, currently in preparation at Chalmers. We briefly show two examples of DSLs: calculus of derivatives and power series. An important theorem of complex analysis establishes a bridge between these languages when the underlying semantics is that of complex numbers. Translations between DSLs are fundamental in mathematics, they may be important to software engineering as well.

Tue 7 Jul

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

13:30 - 14:30
Session 3DSLDI at Karlstejn
13:30
30m
Talk
DSLs for Graph Algorithms and Graph Pattern Matching
DSLDI
Oskar van Rest Oracle Labs, Sungpack Hong Oracle Labs, Hassan Chafi Oracle Labs
14:00
30m
Talk
DSLs of Mathematics, Theorems and Translations
DSLDI
Cezar Ionescu Chalmers University of Technology, Patrik Jansson Chalmers University of Technology