| 1993 |
|---|
| 12 | | Tadashi Kanamori,
Tadashi Kawamura:
Abstract Interpretation based on OLDT Resolution.
J. Log. Program. 15(1&2): 1-30 (1993) |
| 11 | | Tadashi Kanamori:
Abstract Interpretation Based on Alexander Templates.
J. Log. Program. 15(1&2): 31-54 (1993) |
| 1990 |
|---|
| 10 | | Tadashi Kawamura,
Tadashi Kanamori:
Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation.
Theor. Comput. Sci. 75(1&2): 139-156 (1990) |
| 1988 |
|---|
| 9 | | Tadashi Kawamura,
Tadashi Kanamori:
Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation.
FGCS 1988: 413-421 |
| 1987 |
|---|
| 8 | | Tadashi Kanamori,
Kenji Horiuchi:
Construction of Logic Programs Based on Generalized Unfold/Fold Rules.
ICLP 1987: 744-768 |
| 7 | | Kenji Horiuchi,
Tadashi Kanamori:
Polymorphic Type Inference in Prolog by Abstract Interpretation.
LP 1987: 195-214 |
| 1986 |
|---|
| 6 | | Tadashi Kanamori,
Hiroshi Fujita:
Formulation of Induction Formulas in Verification of Prolog Programs.
CADE 1986: 281-299 |
| 5 | | Tadashi Kanamori,
Hiroshi Fujita,
Hirohisa Seki,
Kenji Horiuchi,
Machi Maeji:
ARGOS/V: A System for Verification of Prolog Programs.
FJCC 1986: 994-998 |
| 4 | | Tadashi Kanamori,
Hirohisa Seki:
Verification of Prolog Programs Using an Extension of Execution.
ICLP 1986: 475-489 |
| 3 | | Kazuko Takahashi,
Tadashi Kanamori:
On Parallel Programming Methodology in GHC.
LP 1986: 92-103 |
| 1985 |
|---|
| 2 | | Tadashi Kanamori,
Kenji Horiuchi:
Type Inference in Prolog and Its Application.
IJCAI 1985: 704-707 |
| 1980 |
|---|
| 1 | | Akira Fusaoka,
Masaharu Hirayama,
Tadashi Kanamori:
A Control Shared Processor MELPIP-1: Design Evaluation.
ACM Pacific 1980: 77-85 |
