Author of the publication

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.

 

Other publications of authors with the same name

Extending the Sparkle Core language with object abstraction., , and . Acta Cybern., 17 (2): 419-445 (2006)Study on emerging applications on data plane and optimization possibilities., and . CoRR, (2022)Temporal Properties of Clean Programs Proven in Sparkle-T., , and . CEFP, volume 4164 of Lecture Notes in Computer Science, page 168-190. Springer, (2005)Embedding and Parsing Combined for Efficient Language Design., , and . ICSOFT, page 244-250. SciTePress, (2013)Testing framework for embedded languages., and . Comput. Sci. Inf. Syst., 10 (4): 1647-1659 (2013)Adaptation of a Refactoring DSL for the Object-Oriented Paradigm., , and . Acta Cybern., 25 (4): 817-846 (October 2021)Are Graph Databases Fast Enough for Static P4 Code Analysis?, , and . ICAI, volume 2650 of CEUR Workshop Proceedings, page 213-223. CEUR-WS.org, (2020)Proving Invariants of Functional Programs., , and . SPLST, page 115-126. University of Kuopio, Department of Computer Science, (2003)The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes., , , , , , and . ICIN, page 23-28. IEEE, (2020)Asynchronous Extern Functions in Programmable Software Data Planes., , , , , and . ANCS, page 1-2. IEEE, (2019)