Ipari vendégelőadó az itemis cégtől

Ipari vendégelőadó érkezik a Modellalapú rendszertervezés tárgy 2019. május 6. hétfői előadására (12:15-14:00, IL405 terem). Szabó Tamás, a németországi itemis mérnöke és tanszékünk egykori hallgatója a szakterületspecifikus nyelvek ipari jelentőségéről, alkalmazásáról fog beszélni, különösen az ellenőrzési lehetőségekre fókuszálva.

Az előadásra a tárgy hallgatóin kívül is szeretettel várunk minden érdeklődőt.

Tartalmi kivonat:

Synergies between DSLs and program analyses

Language workbenches are widely used to implement domain-specific languages (DSLs) and their accompanying integrated development environments (IDEs). They help to define the abstract syntax, concrete syntax(es), type system, and transformations for the languages. However, state-of-the-art DSLs also increasingly rely on sophisticated program analyses, but language workbenches have only limited support for this language aspect. The high implementation effort for these analyses is justifiable for a general-purpose language (GPL), but is not justifiable for DSLs because of their different development economies. At itemis, we are actively working on fixing this shortcoming by adding dedicated support for program analyses into the MPS language workbench.

In this talk, I will first give a teaser about the many different DSLs we have built over the years. Then, I will turn the attention to different aspects of program analyses with live demos:
* Implementing static analyses for a math DSL.
* Measuring code coverage of unit tests on the DSL level
* Automated verification using Z3