Tadashi Kanamori

Publication Activity (10 Years)

Years Active: 1980-1993
Publications (10 Years): 0

Publications

Tadashi Kanamori
Abstract Interpretation Based on Alexander Templates. J. Log. Program. 15 (1&2) (1993)
Tadashi Kanamori, Tadashi Kawamura
Abstract Interpretation based on OLDT Resolution. J. Log. Program. 15 (1&2) (1993)
Tadashi Kawamura, Tadashi Kanamori
Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation. Theor. Comput. Sci. 75 (1&2) (1990)
Tadashi Kawamura, Tadashi Kanamori
Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation. FGCS (1988)
Tadashi Kanamori, Kenji Horiuchi
Construction of Logic Programs Based on Generalized Unfold/Fold Rules. ICLP (1987)
Kenji Horiuchi, Tadashi Kanamori
Polymorphic Type Inference in Prolog by Abstract Interpretation. LP (1987)
Tadashi Kanamori, Hirohisa Seki
Verification of Prolog Programs Using an Extension of Execution. ICLP (1986)
Kazuko Takahashi, Tadashi Kanamori
On Parallel Programming Methodology in GHC. LP (1986)
Tadashi Kanamori, Hiroshi Fujita
Formulation of Induction Formulas in Verification of Prolog Programs. CADE (1986)
Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji
ARGOS/V: A System for Verification of Prolog Programs. FJCC (1986)
Tadashi Kanamori, Kenji Horiuchi
Type Inference in Prolog and Its Application. IJCAI (1985)
Akira Fusaoka, Masaharu Hirayama, Tadashi Kanamori
A Control Shared Processor MELPIP-1: Design Evaluation. ACM Pacific (1980)