Author

Mirai Ikebuchi

h-index 3 View on Semantic Scholar

We have 1 of 12 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Aug 2026

Adequacy for Predicate Transformer Semantics

This paper establishes a generic framework to prove adequacy for predicate transformer semantics with respect to an appropriately designed operational semantics, and covers a wide range of instances, including total expected costs, cost moments, conditional expectations, and expected multiplicative rewards of probabili...

Kazuki Watanabe, Mirai Ikebuchi, Mayuko Kori · Proc. ACM Program. Lang. · 0 citations