1 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Extensional and Non-extensional Functions as Processes
Ken Sakayori, Davide Sangiorgi
Following Milner's seminal paper, the representation of functions as processes has received considerable attention. For pure -calculus, the process representations yield (at bes…
cs.LO2021★ 1 cited
Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
Takumi Shimoda, Naoki Kobayashi, Ken Sakayori +1
Despite the recent advance of automated program verification, reasoning about recursive data structures remains as a challenge for verification tools and their backends such as SMT…