2 papers
cs.PL2026
Multi-Mode Debugging for FRP-Based Embedded Systems
Yugo Otani, Sosuke Moriguchi, Takuo Watanabe
Emfrp is a functional reactive programming (FRP) language designed for small-scale embedded systems. Time-varying values are the primary abstraction mechanism in FRP and enable con…
cs.LO2019
Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions
Sosuke Moriguchi, Kazuko Takahashi
In this paper, we propose a new method for computing general allocators directly from completeness conditions. A general allocator is an abstraction of all complete labelings for a…