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

Temporal Properties of Clean Programs Proven in Sparkle-T., , and . CEFP, volume 4164 of Lecture Notes in Computer Science, page 168-190. Springer, (2005)Extending the Sparkle Core language with object abstraction., , and . Acta Cybern., 17 (2): 419-445 (2006)High speed packet forwarding compiled from protocol independent data plane specifications., , , , , and . SIGCOMM, page 629-630. ACM, (2016)T4P4S: A Target-independent Compiler for Protocol-independent Packet Processors., , , , , and . HPSR, page 1-8. IEEE, (2018)The EDSL's Struggle for Their Sources., , and . CEFP, volume 8606 of Lecture Notes in Computer Science, page 300-335. Springer, (2013)Proving Invariants of Functional Programs., , and . SPLST, page 115-126. University of Kuopio, Department of Computer Science, (2003)Asynchronous Extern Functions in Programmable Software Data Planes., , , , , and . ANCS, page 1-2. IEEE, (2019)The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes., , , , , , and . ICIN, page 23-28. IEEE, (2020)Defining C Preprocessor Macro Libraries with Functional Programs., , , and . Comput. Informatics, 35 (4): 819-851 (2016)Embedding and Parsing Combined for Efficient Language Design., , and . ICSOFT, page 244-250. SciTePress, (2013)