Publications

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

2020 

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