txtUML: textual, executable, translatable UML

Model Executor

Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, and Gergely Dévai: Textual Diagram Layout Language and Visualization Algorithm, MODELS 2015, Ottawa, Canada, 2015

Feldspar: Functional Embedded Language for DSP and Parallelism

Gergely Dévai, Dániel Leskó, Máté Tejfel: Language Design and Implementation via the Combination of Embedding and Parsing, Software Technologies, Springer, 2014

Gergely Dévai: Extended pattern matching for embedded languages, Annales Universitatis Scientiarum Budapestiensis de Rolando Eotvos Nominatae Sectio Computatorica, vol. 36, 2012

Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Bo Lyckegard, Anders Persson, Mary Sheeran, Josef Svenningsson and András Vajda: Feldspar: A Domain Specific Language for Digital Signal Processing algorithms, MEMOCODE 2010: International Conference on Formal Methods and Models for Codesign, Grenoble, France, 2010

Gergely Dévai: Embedding a proof system in Haskell, Lecture Notes in Computer Science, vol 6299, Springer, 2010