Tadashi Kanamori

According to our database, Tadashi Kanamori authored at least 13 papers between 1980 and 1993.

Collaborative distances:

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

1993

Abstract Interpretation based on OLDT Resolution.

Tadashi Kanamori, Tadashi Kawamura

J. Log. Program., 1993

Abstract Interpretation Based on Alexander Templates.

Tadashi Kanamori

J. Log. Program., 1993

1991

Top-down Zooming Diagnosis of Logic Programs.

Machi Ueno, Tadashi Kanamori

Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 1991

1990

Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation.

Tadashi Kawamura, Tadashi Kanamori

Theor. Comput. Sci., 1990

1988

Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation.

Tadashi Kawamura, Tadashi Kanamori

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

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

On Parallel Programming Methodology in GHC.

Kazuko Takahashi, Tadashi Kanamori

Proceedings of the Logic Programming '86, 1986

Verification of Prolog Programs Using an Extension of Execution.

Tadashi Kanamori, Hirohisa Seki

Proceedings of the Third International Conference on Logic Programming, 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

Formulation of Induction Formulas in Verification of Prolog Programs.

Tadashi Kanamori, Hiroshi Fujita

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 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

1980

A Control Shared Processor MELPIP-1: Design Evaluation.

Akira Fusaoka, Masaharu Hirayama, Tadashi Kanamori

Proceedings of the Distributed Processing: New Directions for a New Decade. ACM Pacific '80, 1980