Kenji Horiuchi

Publication Activity (10 Years)

Years Active: 1985-1992
Publications (10 Years): 0

Publications

Kenji Horiuchi
Less Abstract Semantics for Abstract Interpretation of FGHC Programs. FGCS (1992)
Tadashi Kanamori, Kenji Horiuchi
Construction of Logic Programs Based on Generalized Unfold/Fold Rules. ICLP (1987)
Kenji Horiuchi, Tadashi Kanamori
Polymorphic Type Inference in Prolog by Abstract Interpretation. LP (1987)
Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji
ARGOS/V: A System for Verification of Prolog Programs. FJCC (1986)
Tadashi Kanamori, Kenji Horiuchi
Type Inference in Prolog and Its Application. IJCAI (1985)