Towards Static Analysis of Executable DSMLs Using Model Typing.

Reza Gorgan Mohammadi, Ahmad Abdollahzadeh Barforoush

Browse the full CaiSE paper archive.