2 papers
cs.LO2021
A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction
Tatsuya Abe, Daisuke Kimura
Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can b…
cs.SE2016
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda +1
Software model checking suffers from the so-called state explosion problem, and relaxed memory consistency models even worsen this situation. What is worse, parameterizing model ch…