Autor der Publikation

Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation.

, und . ESOP (2), Volume 14577 von Lecture Notes in Computer Science, Seite 391-420. Springer, (2024)

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

Lifting Numeric Relational Domains to Algebraic Data Types., , und . SAS, Volume 13790 von Lecture Notes in Computer Science, Seite 104-134. Springer, (2022)Inferring frame conditions with static correlation analysis., , , und . Proc. ACM Program. Lang., 3 (POPL): 47:1-47:29 (2019)Stable relations and abstract interpretation of higher-order programs., und . Proc. ACM Program. Lang., 4 (ICFP): 119:1-119:30 (2020)Trace-based control-flow analysis., und . PLDI, Seite 482-496. ACM, (2021)Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation., und . ESOP (2), Volume 14577 von Lecture Notes in Computer Science, Seite 391-420. Springer, (2024)