| |
| 1992 | ||
|---|---|---|
| 5 | Kenji Horiuchi: Less Abstract Semantics for Abstract Interpretation of FGHC Programs. FGCS 1992: 897-906 | |
| 1987 | ||
| 4 | Tadashi Kanamori, Kenji Horiuchi: Construction of Logic Programs Based on Generalized Unfold/Fold Rules. ICLP 1987: 744-768 | |
| 3 | Kenji Horiuchi, Tadashi Kanamori: Polymorphic Type Inference in Prolog by Abstract Interpretation. LP 1987: 195-214 | |
| 1986 | ||
| 2 | Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji: ARGOS/V: A System for Verification of Prolog Programs. FJCC 1986: 994-998 | |
| 1985 | ||
| 1 | Tadashi Kanamori, Kenji Horiuchi: Type Inference in Prolog and Its Application. IJCAI 1985: 704-707 | |
| 1 | Hiroshi Fujita | [2] |
| 2 | Tadashi Kanamori | [1] [2] [3] [4] |
| 3 | Machi Maeji | [2] |
| 4 | Hirohisa Seki | [2] |