( en | de | ru )

 

Disambiguierung von "Timany, Amin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A separation logic to verify termination of busy-waiting for abrupt program exit.

, , und . FTfJP@ECOOP, Seite 26-32. ACM, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mohammed-Ali Amin

Naim Amini

Wafaa Mohamed Amin

Abdulla Amin

Abdul Hameed Amin

 

Weitere Publikationen von Autoren mit dem selben Namen

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