|
Search the dblp DataBase
Kenji Horiuchi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Kenji Horiuchi
Less Abstract Semantics for Abstract Interpretation of FGHC Programs. [Citation Graph (0, 0)][DBLP] FGCS, 1992, pp:897-906 [Conf]
- Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji
ARGOS/V: A System for Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP] FJCC, 1986, pp:994-998 [Conf]
- Tadashi Kanamori, Kenji Horiuchi
Construction of Logic Programs Based on Generalized Unfold/Fold Rules. [Citation Graph (0, 0)][DBLP] ICLP, 1987, pp:744-768 [Conf]
- Tadashi Kanamori, Kenji Horiuchi
Type Inference in Prolog and Its Application. [Citation Graph (0, 0)][DBLP] IJCAI, 1985, pp:704-707 [Conf]
- Kenji Horiuchi, Tadashi Kanamori
Polymorphic Type Inference in Prolog by Abstract Interpretation. [Citation Graph (0, 0)][DBLP] LP, 1987, pp:195-214 [Conf]
Search in 0.001secs, Finished in 0.001secs
|