dblp.uni-trier.dewww.uni-trier.de

Kenji Horiuchi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Hiroshi Fujita [2]
2Tadashi Kanamori [1] [2] [3] [4]
3Machi Maeji [2]
4Hirohisa Seki [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)