dblp.uni-trier.dewww.uni-trier.de

Tadashi Kanamori Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
7EEKenji Horiuchi, Tadashi Kanamori: Polymorphic Type Inference in Prolog by Abstract Interpretation. LP 1987: 195-214
1986
6EETadashi 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
3EEKazuko 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

Coauthor Index

1Hiroshi Fujita [5] [6]
2Akira Fusaoka [1]
3Masaharu Hirayama [1]
4Kenji Horiuchi [2] [5] [7] [8]
5Tadashi Kawamura [9] [10] [12]
6Machi Maeji [5]
7Hirohisa Seki [4] [5]
8Kazuko Takahashi [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)