E-LIB Suche - Ergebnisse für: Unno, Naoki

1

Toward Neural-Network-Guided Program Synthesis and Verifica..:

, In: Static Analysis; Lecture Notes in Computer Science,

Kobayashi, Naoki ; Sekiyama, Taro ; Sato, Issei. - p. 236-260 , 2021

Link: https://doi.org/10.1007/..

2

Temporal Verification of Programs via First-Order Fixpoint ..:

, In: Static Analysis; Lecture Notes in Computer Science,

Kobayashi, Naoki ; Nishikawa, Takeshi ; Igarashi, Atsushi. - p. 413-436 , 2019

Link: https://doi.org/10.1007/..

3

Temporal verification of higher-order functional programs:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Murase, Akihiro ; Terauchi, Tachio ; Kobayashi, Naoki.. - p. 57-68 , 2016

Link: https://dl.acm.org/doi/1..

4

Automating relatively complete verification of higher-order..:

, In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Unno, Hiroshi ; Terauchi, Tachio ; Kobayashi, Naoki - p. 75-86 , 2013

Link: https://dl.acm.org/doi/1..

5

Towards a scalable software model checker for higher-order ..:

, In: Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation,

Sato, Ryosuke ; Unno, Hiroshi ; Kobayashi, Naoki - p. 53-62 , 2013

Link: https://dl.acm.org/doi/1..

6

Predicate abstraction and CEGAR for higher-order model chec..:

, In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation,

Kobayashi, Naoki ; Sato, Ryosuke ; Unno, Hiroshi - p. 222-233 , 2011

Link: https://dl.acm.org/doi/1..

7

Higher-order multi-parameter tree transducers and recursion..:

, In: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Kobayashi, Naoki ; Tabuchi, Naoshi ; Unno, Hiroshi - p. 495-508 , 2010

Link: https://dl.acm.org/doi/1..

8

Dependent type inference with interpolants:

, In: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming,

Unno, Hiroshi ; Kobayashi, Naoki - p. 277-288 , 2009

Link: https://dl.acm.org/doi/1..

9

On-demand refinement of dependent types:

, In: Proceedings of the 9th international conference on Functional and logic programming,

Unno, Hiroshi ; Kobayashi, Naoki - p. 81-96 , 2008

Link: https://dl.acm.org/doi/1..

10

Combining type-based analysis and model checking for findin..:

, In: Proceedings of the 2006 workshop on Programming languages and analysis for security,

Unno, Hiroshi ; Kobayashi, Naoki ; Yonezawa, Akinori - p. 17-26 , 2006

Link: https://dl.acm.org/doi/1..

11

On-Demand Refinement of Dependent Types:

, In: Functional and Logic Programming; Lecture Notes in Computer Science,

Unno, Hiroshi ; Kobayashi, Naoki - p. 81-96 ,

Link: https://doi.org/10.1007/..