( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Mechanized logical relations for termination-insensitive noninterference.

, , , и . Proc. ACM Program. Lang., 5 (POPL): 1-29 (2021)

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.

Naim Amini

Wafaa Mohamed Amin

Mohammed-Ali Amin

Abdul Hameed Amin

Abdulla Amin

 

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

Mechanized logical relations for termination-insensitive noninterference., , , и . Proc. ACM Program. Lang., 5 (POPL): 1-29 (2021)Fully abstract from static to gradual., , и . Proc. ACM Program. Lang., 5 (POPL): 1-30 (2021)Category Theory in Coq 8.5., и . CoRR, (2015)Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code., , , , , , и . J. ACM, 71 (1): 3:1-3:59 (2024)Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)., и . CoRR, (2017)The Logical Essence of Well-Bracketed Control Flow., , и . Proc. ACM Program. Lang., 8 (POPL): 575-603 (января 2024)The future is ours: prophecy variables in separation logic., , , , , , и . Proc. ACM Program. Lang., 4 (POPL): 45:1-45:32 (2020)Cumulative Inductive Types In Coq., и . FSCD, том 108 из LIPIcs, стр. 29:1-29:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Category Theory in Coq 8.5., и . FSCD, том 52 из LIPIcs, стр. 30:1-30:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic., , , , , и . CoRR, (2021)