Autor der Publikation

Non-monotonic Self-Adjusting Computation.

, , und . ESOP, Volume 7211 von Lecture Notes in Computer Science, Seite 476-496. Springer, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Subjective auxiliary state for coarse-grained concurrency., und . POPL, Seite 561-574. ACM, (2013)sql4ml A declarative end-to-end workflow for machine learning., , und . CoRR, (2019)Stream firewalling of xml constraints., , und . SIGMOD Conference, Seite 487-498. ACM, (2008)Keeping Mobile Robot Swarms Connected., , , und . DISC, Volume 5805 von Lecture Notes in Computer Science, Seite 496-511. Springer, (2009)Traceable data types for self-adjusting computation., , , , und . PLDI, Seite 483-496. ACM, (2010)Self-adjusting Computation with Delta ML., und . Advanced Functional Programming, Volume 5832 von Lecture Notes in Computer Science, Seite 1-38. Springer, (2008)Compiling self-adjusting programs with continuations., , und . ICFP, Seite 321-334. ACM, (2008)A cost semantics for self-adjusting computation., , und . POPL, Seite 186-199. ACM, (2009)Communicating State Transition Systems for Fine-Grained Concurrent Resources., , , und . ESOP, Volume 8410 von Lecture Notes in Computer Science, Seite 290-310. Springer, (2014)Non-monotonic Self-Adjusting Computation., , und . ESOP, Volume 7211 von Lecture Notes in Computer Science, Seite 476-496. Springer, (2012)