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 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 14:30
|DSLs for Graph Algorithms and Graph Pattern Matching|
|DSLs of Mathematics, Theorems and Translations|