( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware.

, , , и . ACM Trans. Embed. Comput. Syst., 18 (1): 6:1-6:26 (2019)

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.

M Gordian Adam

Ibrahim M Adam

Simon M M Laimer

M. Biswas M. Dam

Marcel M M Kuypers

 

Другие публикации лиц с тем же именем

A core calculus for secure hardware: its formal semantics and proof system., , , и . MEMOCODE, стр. 122-131. ACM, (2017)The Design of a Practical Proof Checker for a Lazy Functional Language., , и . Trends in Functional Programming, том 7829 из Lecture Notes in Computer Science, стр. 117-132. Springer, (2012)Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation., , , , и . ARC, том 9040 из Lecture Notes in Computer Science, стр. 41-52. Springer, (2015)A Principled Approach to Secure Multi-core Processor Design with ReWire., , , , и . ACM Trans. Embed. Comput. Syst., 16 (2): 33:1-33:25 (2017)Semantics-directed machine architecture in ReWire., , , , и . FPT, стр. 446-449. IEEE, (2013)The Confinement Problem in the Presence of Faults., , и . ICFEM, том 7635 из Lecture Notes in Computer Science, стр. 182-197. Springer, (2012)Making monads first-class with template haskell., , и . Haskell, стр. 99-110. ACM, (2008)Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire., , и . RSP, стр. 114-120. IEEE, (2016)The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware., , , и . ACM Trans. Embed. Comput. Syst., 18 (1): 6:1-6:26 (2019)Asynchronous Exceptions as an Effect., , , и . MPC, том 5133 из Lecture Notes in Computer Science, стр. 153-176. Springer, (2008)