( en | de | ru )

 

Disambiguation of "Dévai, Gergely"

Author of the publication

copydeleteadd this publication to your clipboard
Textual diagram layout language and visualization algorithm.

, , , , and . MoDELS, page 196-205. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

József Dévai

Guillaume Devailly

László Gergely

Ernst Gergely

Wolfgang Gergely

 

Other publications of authors with the same name

Programhelyesség-bizonyítás fordítási időben. Eötvös Loránd University, Hungary, (2018)The EDSL's Struggle for Their Sources., , and . CEFP, volume 8606 of Lecture Notes in Computer Science, page 300-335. Springer, (2013)Programming Language Elements for Correctness Proofs.. Acta Cybern., 18 (3): 403-425 (2008)Measuring the Overhead of C++ Standard Template Library Safe Variants., , and . WGT@ETAPS, volume 264 of Electronic Notes in Theoretical Computer Science, page 71-83. Elsevier, (2010)Textual, Executable, Translatable UML., , and . OCL@MoDELS, volume 1285 of CEUR Workshop Proceedings, page 3-12. CEUR-WS.org, (2014)Language Design and Implementation via the Combination of Embedding and Parsing., , and . ICSOFT (Selected Papers), volume 457 of Communications in Computer and Information Science, page 131-147. Springer, (2013)Language abstractions for low level optimization techniques., , and . Comput. Sci. Inf. Syst., 11 (4): 1499-1514 (2014)An Introduction to the Lambda Calculus., and . CEFP, volume 5161 of Lecture Notes in Computer Science, page 87-111. Springer, (2007)Embedding and Parsing Combined for Efficient Language Design., , and . ICSOFT, page 244-250. SciTePress, (2013)Embedding a Proof System in Haskell.. CEFP, volume 6299 of Lecture Notes in Computer Science, page 354-371. Springer, (2009)