PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Might, Matthew"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Galois Transformers and Modular Abstract Interpreters.

, , und . CoRR, (2014)

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.

Matthew Joliffe University of Stuttgart

Ph. D. Matthew Millard University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Galois Transformers and Modular Abstract Interpreters., , und . CoRR, (2014)Systematic Abstraction of Abstract Machines, und . CoRR, (2011)Yacc is dead, und . CoRR, (2010)Stack-Summarizing Control-Flow Analysis of Higher-Order Programs, , und . CoRR, (2010)Resolving and Exploiting the $k$-CFA Paradox., , und . CoRR, (2013)Parsing with derivatives: a functional pearl., , und . ICFP, Seite 189-195. ACM, (2011)Optimizing Abstract Abstract Machines, , und . CoRR, (2012)Control-Flow Analysis with SAT Solvers., und . Trends in Functional Programming, Volume 8322 von Lecture Notes in Computer Science, Seite 125-133. Springer, (2013)A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections., , und . SAS, Volume 7460 von Lecture Notes in Computer Science, Seite 352-369. Springer, (2012)Relatively Complete Pushdown Analysis of Escape Continuations., und . VMCAI, Volume 11388 von Lecture Notes in Computer Science, Seite 205-225. Springer, (2019)