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.

Conference Day
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 RestOracle Labs, Sungpack HongOracle Labs, Hassan ChafiOracle Labs
14:00
30m
Talk
DSLs of Mathematics, Theorems and Translations
DSLDI
Cezar IonescuChalmers University of Technology, Patrik JanssonChalmers University of Technology