Daisuke Kimura

Theor. Comput. Sci., 2024

2023

A typed lambda-calculus with first-class configurations.

[BibT_eX]

[DOI]

Tatsuya Abe

J. Log. Comput., October, 2023

Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding.

[BibT_eX]

[DOI]

Tatsuya Abe

FLAP, 2023

2022

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates.

[BibT_eX]

[DOI]

Yukihiro Masuoka

CoRR, 2022

2021

Decidability for Entailments of Symbolic Heaps with Arrays.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2021

A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction.

[BibT_eX]

[DOI]

Tatsuya Abe

CoRR, 2021

Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions.

[BibT_eX]

[DOI]

Kenji Saotome

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

Function Pointer Eliminator for C Programs.

[BibT_eX]

[DOI]

Mahmudul Faisal Al Ameen

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

Restriction on Cut in Cyclic Proof System for Symbolic Heaps.

[BibT_eX]

[DOI]

Kenji Saotome

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019

Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Completeness of Cyclic Proofs for Symbolic Heaps.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Decision Procedure for Entailment of Symbolic Heaps with Arrays.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015

Separation Logic with Monadic Inductive Definitions and Implicit Existentials.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Study on Constants of Natural Language Texts.

[BibT_eX]

[DOI]

Kumiko Tanaka-Ishii

Inf. Media Technol., 2014

2013

Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

Induction by Coinduction and Control Operators in Call-by-Name.

[BibT_eX]

[DOI]

Yoshihiko Kakutani

Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013

2012

Fast Computation of Subpath Kernel for Trees.

[BibT_eX]

[DOI]

Hisashi Kashima

Proceedings of the 29th International Conference on Machine Learning, 2012

2011

Classical Natural Deduction for S4 Modal Logic.

[BibT_eX]

[DOI]

Yoshihiko Kakutani

New Gener. Comput., 2011

A Trade-Off between the Maximum Power Point and Stability.

[BibT_eX]

[DOI]

Toshimichi Saito

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

A Subpath Kernel for Rooted Unordered Trees.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2011

2009

Synchronization and Hyperchaos in Switched Dynamical Systems Based on Parallel Buck Converters.

[BibT_eX]

[DOI]

Toshimichi Saito

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Dual Calculus with Inductive and Coinductive Types.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008

Analysis of Simple Single/Parallel Switched Dynamical Systems Based on Two Switching Strategies.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007

Duality between Call-by-value Reductions and Call-by-name Reductions.

[BibT_eX]

[DOI]

Inf. Media Technol., 2007

Call-by-Value Is Dual to Call-by-Name, Extended.

[BibT_eX]

[DOI]