( en | de | ru )

 

Disambiguierung von "Dimoulas, Christos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Run your research: on the effectiveness of lightweight mechanization.

, , , , , , , , , und . POPL, Seite 285-296. ACM, (2012)

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.

Helena Maria Dimoulas

Christos Vlachos

Christos Kapnukajas

Christos Xenakis

Christos Melemenidis

 

Weitere Publikationen von Autoren mit dem selben Namen

Complete Monitors for Behavioral Contracts., , und . ESOP, Volume 7211 von Lecture Notes in Computer Science, Seite 214-233. Springer, (2012)Whip: higher-order contracts for modern services., , und . Proc. ACM Program. Lang., 1 (ICFP): 36:1-36:28 (2017)Future contracts., , und . PPDP, Seite 195-206. ACM, (2009)Extensible access control with authorization contracts., , , , und . OOPSLA, Seite 214-233. ACM, (2016)SHILL: A Secure Shell Scripting Language., , , und . OSDI, Seite 183-199. USENIX Association, (2014)Contracts for First-Class Classes., , , und . ACM Trans. Program. Lang. Syst., 35 (3): 11:1-11:58 (2013)A Calculus for Unreachable Code., , , , , und . CoRR, (2024)Effectful Software Contracts., , und . Proc. ACM Program. Lang., 8 (POPL): 2639-2666 (Januar 2024)Option contracts., , und . OOPSLA, Seite 475-494. ACM, (2013)Oh Lord, please don't let contracts be misunderstood (functional pearl)., , , und . ICFP, Seite 117-131. ACM, (2016)