Tadashi Kanamori

13 papers A* 1A 1B 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
1993 J jnl
Abstract Interpretation Based on Alexander Templates.
J. Log. Program.
Tadashi Kanamori
1993 J jnl
Abstract Interpretation based on OLDT Resolution.
J. Log. Program.
Tadashi Kanamori, Tadashi Kawamura
1991 — ch.
Top-down Zooming Diagnosis of Logic Programs.
Software Science and Engineering
Machi Ueno, Tadashi Kanamori
1990 J jnl
Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation.
Theor. Comput. Sci.
Tadashi Kawamura, Tadashi Kanamori
1988 — conf
Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation.
FGCS
Tadashi Kawamura, Tadashi Kanamori
1987 B conf
Construction of Logic Programs Based on Generalized Unfold/Fold Rules.
ICLP
Tadashi Kanamori, Kenji Horiuchi
1987 — conf
Polymorphic Type Inference in Prolog by Abstract Interpretation.
LP
Kenji Horiuchi, Tadashi Kanamori
1986 — conf
ARGOS/V: A System for Verification of Prolog Programs.
FJCC
Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji
1986 A conf
Formulation of Induction Formulas in Verification of Prolog Programs.
CADE
Tadashi Kanamori, Hiroshi Fujita
1986 — conf
On Parallel Programming Methodology in GHC.
LP
Kazuko Takahashi, Tadashi Kanamori
1986 B conf
Verification of Prolog Programs Using an Extension of Execution.
ICLP
Tadashi Kanamori, Hirohisa Seki
1985 A* conf
Type Inference in Prolog and Its Application.
IJCAI
Tadashi Kanamori, Kenji Horiuchi
1980 — conf
A Control Shared Processor MELPIP-1: Design Evaluation.
ACM Pacific
Akira Fusaoka, Masaharu Hirayama, Tadashi Kanamori