2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.PL2022
Type checking data structures more complex than trees
Jin Sano, Naoki Yamamoto, Kazunori Ueda
Graphs are a generalized concept that encompasses more complex data structures than trees, such as difference lists, doubly-linked lists, skip lists, and leaf-linked trees. Normall…
cs.PL2019★ 2 cited
Declarative Semantics of the Hybrid Constraint Language HydLa
Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii
Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation o…
cs.SE2001★ 1 cited
Kima - an Automated Error Correction System for Concurrent Logic Programs
Yasuhiro Ajiro, Kazunori Ueda
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici…