( en | de | ru )

 

Disambiguierung von "Sasano, Isao"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation.

, , und . PPDP, Seite 13:1-13:14. ACM, (2019)

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.

Isao Tokuda

Isao Miki

Sam Isao Schmitz

 

Weitere Publikationen von Autoren mit dem selben Namen

Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation., , und . PPDP, Seite 13:1-13:14. ACM, (2019)A Tool for Visualizing Buffer Overflow with Detecting Return Address Overwriting.. BICT, Seite 438-441. ICST/ACM, (2015)An approach to generate text-based IDEs for syntax completion based on syntax specification.. PEPM@POPL, Seite 38-44. ACM, (2020)Maximum Marking Problems with Accumulative Weight Functions., , und . ICTAC, Volume 3722 von Lecture Notes in Computer Science, Seite 562-578. Springer, (2005)Ranked Syntax Completion With LR Parsing., , , und . SAC, Seite 1242-1251. ACM, (2024)Generation of Efficient Programs for Solving Maximum Multi-marking Problems., , und . SAIG, Volume 2196 von Lecture Notes in Computer Science, Seite 72-91. Springer, (2001)An approach to completing variable names for implicitly typed functional languages., und . High. Order Symb. Comput., 25 (1): 127-163 (2012)Server-Side Computation of Package Dependencies in Package-Management Systems., und . APLAS, Volume 13008 von Lecture Notes in Computer Science, Seite 62-79. Springer, (2021)Toward Bidirectionalization of ATL with GRoundTram., , , , , und . ICMT@TOOLS, Volume 6707 von Lecture Notes in Computer Science, Seite 138-151. Springer, (2011)Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses., , , und . APLAS, Seite 58-73. (2002)