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

1

Termination Analysis for the $$\pi $$-Calculus by Reduction..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Shoshi, Tsubasa ; Ishikawa, Takuma ; Kobayashi, Naoki... - p. 265-284 , 2021

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

2

Counterexample generation for program verification based on..:

, In: Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,

Ueno, Hideto ; Toman, John ; Kobayashi, Naoki. - p. 44-57 , 2021

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

3

Contributors:

, In: Handbook of Hormones,

Amano, Masafumi ; Ando, Hironori ; Andoh, Tadashi... - p. xxi-xxiii , 2021

Link: https://doi.org/10.1016/..

4

Predicate Abstraction and CEGAR for $$\nu \mathrm {HFL}_\ma..:

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

Iwayama, Naoki ; Kobayashi, Naoki ; Suzuki, Ryota. - p. 134-155 , 2020

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

5

A New Refinement Type System for Automated $$\nu \text {HFL..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Katsura, Hiroyuki ; Iwayama, Naoki ; Kobayashi, Naoki. - p. 86-104 , 2020

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

6

RustHorn: CHC-Based Verification for Rust Programs:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Matsushita, Yusuke ; Tsukada, Takeshi ; Kobayashi, Naoki - p. 484-514 , 2020

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

7

A Type-Based HFL Model Checking Algorithm:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Hosoi, Youkichi ; Kobayashi, Naoki ; Tsukada, Takeshi - p. 136-155 , 2019

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

8

Reduction from branching-time property verification of high..:

, In: Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,

Watanabe, Keiichi ; Tsukada, Takeshi ; Oshikawa, Hiroki. - p. 22-34 , 2019

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

9

A Temporal Logic for Higher-Order Functional Programs:

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

Okuyama, Yuya ; Tsukada, Takeshi ; Kobayashi, Naoki - p. 437-458 , 2019

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

10

Automated Synthesis of Functional Programs with Auxiliary F..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Eguchi, Shingo ; Kobayashi, Naoki ; Tsukada, Takeshi - p. 223-241 , 2018

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

11

List of Contributors:

, In: Nanoparticle Technology Handbook,

Abe, Hiroya ; Adschiri, Tadafumi ; Aida, Tsutomu... - p. xvii-xx , 2018

Link: https://doi.org/10.1016/..

12

Higher-Order Program Verification via HFL Model Checking:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Kobayashi, Naoki ; Tsukada, Takeshi ; Watanabe, Keiichi - p. 711-738 , 2018

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

13

Analysis of scaling for fitness landscape learning evolutio..:

, In: Proceedings of the Genetic and Evolutionary Computation Conference Companion,

Mori, Naoki ; Hasegawa, Taku ; Tsukada, Kento. - p. 173-174 , 2017

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

14

Verification of code generators via higher-order model chec..:

, In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,

Suwa, Takashi ; Tsukada, Takeshi ; Kobayashi, Naoki. - p. 59-70 , 2017

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

15

Automatically disproving fair termination of higher-order f..:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming,

Watanabe, Keiichi ; Sato, Ryosuke ; Tsukada, Takeshi. - p. 243-255 , 2016

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