( en | de | ru )

 

Disambiguierung von "Igarashi, Atsushi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-Checking Higher-Order Programs with Recursive Types.

, und . ESOP, Volume 7792 von Lecture Notes in Computer Science, Seite 431-450. Springer, (2013)

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.

Atsushi Imai

Atsushi Imai

Atsushi Yagi

Atsushi Fukui

Atsushi Kambayashi

 

Weitere Publikationen von Autoren mit dem selben Namen

Resource Usage Analysis., und . APLAS, Seite 147-158. (2001)ContextFJ: a minimal core calculus for context-oriented programming., , und . FOAL, Seite 19-23. ACM, (2011)A modal type system for multi-level generating extensions with persistent code., und . PPDP, Seite 201-212. ACM, (2006)A guess-and-assume approach to loop fusion for program verification., , und . PEPM, Seite 2-14. ACM, (2018)A Hoare Logic for SIMT Programs., und . APLAS, Volume 8301 von Lecture Notes in Computer Science, Seite 58-73. Springer, (2013)On Inner Classes., und . ECOOP, Volume 1850 von Lecture Notes in Computer Science, Seite 129-153. Springer, (2000)Model-Checking Higher-Order Programs with Recursive Types., und . ESOP, Volume 7792 von Lecture Notes in Computer Science, Seite 431-450. Springer, (2013)Dynamic Type Inference for Gradual Hindley-Milner Typing., , und . CoRR, (2018)Signature restriction for polymorphic algebraic effects., , und . Proc. ACM Program. Lang., 4 (ICFP): 117:1-117:30 (2020)Resource usage analysis., und . POPL, Seite 331-342. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.