( en | de | ru )

 

Disambiguierung von "Madsen, Magnus"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Static analysis of event-driven Node.js JavaScript applications.

, , und . OOPSLA, Seite 505-519. ACM, (2015)

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.

Henning Madsen

Hans Madsen

Hans Madsen

Hans Madsen

Hans Madsen

 

Weitere Publikationen von Autoren mit dem selben Namen

Modeling the HTML DOM and browser API in static analysis of JavaScript web applications., , und . SIGSOFT FSE, Seite 59-69. ACM, (2011)A Semantics for the Essence of React., , und . ECOOP, Volume 166 von LIPIcs, Seite 12:1-12:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints., , und . ECOOP, Volume 263 von LIPIcs, Seite 31:1-31:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Practical static analysis of JavaScript applications in the presence of frameworks and libraries., , und . ESEC/SIGSOFT FSE, Seite 499-509. ACM, (2013)Implicit Parameters for Logic Programming., und . PPDP, Seite 14:1-14:14. ACM, (2018)From Datalog to flix: a declarative language for fixed points on lattices., , und . PLDI, Seite 194-208. ACM, (2016)Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism., und . ECOOP, Volume 263 von LIPIcs, Seite 18:1-18:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Safe and sound program analysis with Flix., und . ISSTA, Seite 38-48. ACM, (2018)Polymorphic types and effects with Boolean unification., und . Proc. ACM Program. Lang., 4 (OOPSLA): 154:1-154:29 (2020)Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems., , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 516-543 (Oktober 2023)