( en | de | ru )

 

Disambiguierung von "Dimoulas, Christos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Higher-Order Aggregate Update Problem.

, und . VMCAI, Volume 5403 von Lecture Notes in Computer Science, Seite 44-58. Springer, (2009)

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 Tagarakis

Christos Vrettos

Christos Koutras

Christos Jordanides

 

Weitere Publikationen von Autoren mit dem selben Namen

Whip: higher-order contracts for modern services., , und . Proc. ACM Program. Lang., 1 (ICFP): 36:1-36:28 (2017)Complete Monitors for Behavioral Contracts., , und . ESOP, Volume 7211 von Lecture Notes in Computer Science, Seite 214-233. Springer, (2012)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)Oh Lord, please don't let contracts be misunderstood (functional pearl)., , , und . ICFP, Seite 117-131. ACM, (2016)Karp: a language for NP reductions., , und . PLDI, Seite 762-776. ACM, (2022)Effectful Software Contracts., , und . Proc. ACM Program. Lang., 8 (POPL): 2639-2666 (Januar 2024)