Kenji Horiuchi

According to our database, Kenji Horiuchi authored at least 5 papers between 1985 and 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1992

Less Abstract Semantics for Abstract Interpretation of FGHC Programs.

Kenji Horiuchi

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1987

Polymorphic Type Inference in Prolog by Abstract Interpretation.

Kenji Horiuchi, Tadashi Kanamori

Proceedings of the Logic Programming '87, 1987

Construction of Logic Programs Based on Generalized Unfold/Fold Rules.

Tadashi Kanamori, Kenji Horiuchi

Proceedings of the Logic Programming, 1987

1986

ARGOS/V: A System for Verification of Prolog Programs.

Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985

Type Inference in Prolog and Its Application.

Tadashi Kanamori, Kenji Horiuchi

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985