Publications

Filtered as: all types - all years - all authors - keyword: Domain-specific
Corresponding
bibtex list 


  1. Vadim Zaliva, Ilia Zaichuk and Franz Franchetti
    Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX
    Proc. Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2020
Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007