Gergely Dévai

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 0

Top Topics

Code Generation

Modeling Language

Top Venues

Publications

Gergely Dévai, Máté Karácsony, Boldizsár Németh, Róbert Kitlei, Tamás Kozsik
UML Model Execution via Code Generation. EXE@MoDELS (2015)
Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, Gergely Dévai
Textual diagram layout language and visualization algorithm. MoDELS (2015)
Gergely Dévai, Gábor Ferenc Kovács, Ádám An
Textual, Executable, Translatable UML. OCL@MoDELS (2014)
Gergely Dévai, Zoltán Gera, Zoltán Kelemen
Language abstractions for low level optimization techniques. Comput. Sci. Inf. Syst. 11 (4) (2014)
Gergely Dévai, Dániel Leskó, Máté Tejfel
Embedding and Parsing Combined for Efficient Language Design. ICSOFT (2013)
Gergely Dévai, Dániel Leskó, Máté Tejfel
Language Design and Implementation via the Combination of Embedding and Parsing. ICSOFT (Selected Papers) (2013)
Gergely Dévai, Dániel Leskó, Máté Tejfel
The EDSL's Struggle for Their Sources. CEFP (2013)
Norbert Pataki, Zalán Szügyi, Gergely Dévai
Measuring the Overhead of C++ Standard Template Library Safe Variants. Electron. Notes Theor. Comput. Sci. 264 (5) (2011)
Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Bo Lyckegård, Anders Persson, Mary Sheeran, Josef Svenningsson, András Vajda
Feldspar: A domain specific language for digital signal processing algorithms. MEMOCODE (2010)
Gergely Dévai
Embedding a Proof System in Haskell. CEFP (2009)
Gergely Dévai
Programming Language Elements for Correctness Proofs. Acta Cybern. 18 (3) (2008)
Zoltán Csörnyei, Gergely Dévai
An Introduction to the Lambda Calculus. CEFP (2007)