Gergely Dévai

13 papers A 1C 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2018 — —
Programhelyesség-bizonyítás fordítási időben
Gergely Dévai
2015 A conf
Textual diagram layout language and visualization algorithm.
MoDELS
Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, Gergely Dévai
2015 — conf
UML Model Execution via Code Generation.
EXE@MoDELS
Gergely Dévai, Máté Karácsony, Boldizsár Németh, Róbert Kitlei, Tamás Kozsik
2014 J jnl
Language abstractions for low level optimization techniques.
Comput. Sci. Inf. Syst.
Gergely Dévai, Zoltán Gera, Zoltán Kelemen
2014 — conf
Textual, Executable, Translatable UML.
OCL@MoDELS
Gergely Dévai, Gábor Ferenc Kovács, Ádám An
2013 C conf
Embedding and Parsing Combined for Efficient Language Design.
ICSOFT
Gergely Dévai, Dániel Leskó, Máté Tejfel
2013 — conf
Language Design and Implementation via the Combination of Embedding and Parsing.
ICSOFT (Selected Papers)
Gergely Dévai, Dániel Leskó, Máté Tejfel
2013 — conf
The EDSL's Struggle for Their Sources.
CEFP
Gergely Dévai, Dániel Leskó, Máté Tejfel
2010 C conf
Feldspar: A domain specific language for digital signal processing algorithms.
MEMOCODE
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
2010 — conf
Measuring the Overhead of C++ Standard Template Library Safe Variants.
WGT
Norbert Pataki, Zalán Szügyi, Gergely Dévai
2009 — conf
Embedding a Proof System in Haskell.
CEFP
Gergely Dévai
2008 J jnl
Programming Language Elements for Correctness Proofs.
Acta Cybern.
Gergely Dévai
2007 — conf
An Introduction to the Lambda Calculus.
CEFP
Zoltán Csörnyei, Gergely Dévai