( en | de | ru )

 

Disambiguierung von "Terauchi, Tachio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Verification of Higher-Order Functional Programs.

. FLOPS, Volume 7294 von Lecture Notes in Computer Science, Seite 2. Springer, (2012)

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.

Keine Personen gefunden für den Autorennamen Terauchi, Tachio
Eine Person hinzufügen mit dem Namen Terauchi, Tachio
 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Verification of Higher-Order Functional Programs.. FLOPS, Volume 7294 von Lecture Notes in Computer Science, Seite 2. Springer, (2012)Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement., und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 610-633. Springer, (2015)Local temporal reasoning., und . CSL-LICS, Seite 59:1-59:10. ACM, (2014)Flow-Sensitive Type Qualifiers., , und . PLDI, Seite 1-12. ACM, (2002)A Type System for Observational Determinism.. CSF, Seite 287-300. IEEE Computer Society, (2008)Quantitative Information Flow - Verification Hardness and Possibilities., und . CSF, Seite 15-27. IEEE Computer Society, (2010)Checking race freedom via linear programming.. PLDI, Seite 1-10. ACM, (2008)Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling., und . TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 149-163. Springer, (2015)Repairing DoS Vulnerability of Real-World Regexes., und . SP, Seite 2060-2077. IEEE, (2022)Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR.. SAS, Volume 9291 von Lecture Notes in Computer Science, Seite 128-144. Springer, (2015)