1992 |
17 | | Takayasu Ito,
Rishiyur S. Nikhil,
Julian A. Padget,
Norihisa Suzuki,
Taiichi Yuasa:
Massively Parallel Architectures and Symbolic Computation (panel).
Parallel Symbolic Computing 1992: 408-416 |
1989 |
16 | | Norihisa Suzuki:
Design and Evaluation of Multiprocessor Workstations.
IFIP Congress 1989: 231 |
15 | | Norihisa Suzuki:
TOP-1 Multiprocessor Workstation.
Workshop on Parallel Lisp 1989: 353-363 |
1984 |
14 | | Norihisa Suzuki,
Koichi Kubota,
Takashi Aoki:
Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages.
FGCS 1984: 389-397 |
13 | | Norihisa Suzuki,
Minoru Terada:
Creating Efficient Systems for Object-Oriented Languages.
POPL 1984: 290-296 |
12 | | Norihisa Suzuki:
Experience with Specification and Verification of Hardware Using PROLOG.
VLSI Engineering 1984: 161-173 |
1983 |
11 | | Hideyuki Nakashima,
Norihisa Suzuki:
Data Abstraction in Prolog/KR.
New Generation Comput. 1(1): 49-62 (1983) |
1982 |
10 | | Norihisa Suzuki:
Analysis of Pointer "Rotation".
Commun. ACM 25(5): 330-335 (1982) |
1981 |
9 | | Norihisa Suzuki:
Inferring Types in Smalltalk.
POPL 1981: 187-199 |
8 | | Lawrence Flon,
Norihisa Suzuki:
The Total Correctness of Parallel Programs.
SIAM J. Comput. 10(2): 227-246 (1981) |
1980 |
7 | | Norihisa Suzuki:
Analysis of Pointer Rotation.
POPL 1980: 1-11 |
6 | EE | Norihisa Suzuki,
David Jefferson:
Verification Decidability of Presburger Array Programs.
J. ACM 27(1): 191-205 (1980) |
1979 |
5 | EE | David C. Luckham,
Norihisa Suzuki:
Verification of Array, Record, and Pointer Operations in Pascal.
ACM Trans. Program. Lang. Syst. 1(2): 226-244 (1979) |
1978 |
4 | | Lawrence Flon,
Norihisa Suzuki:
Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs
FOCS 1978: 184-192 |
1977 |
3 | | Norihisa Suzuki,
Kiyoshi Ishihata:
Implementation of an Array Bound Checker.
POPL 1977: 132-143 |
2 | | David C. Luckham,
Norihisa Suzuki:
Proof of Termination within a Weak Logic of Programs
Acta Inf. 8: 21-36 (1977) |
1976 |
1 | | Norihisa Suzuki:
Automatic Verification of Programs with Complex Data Structures
Garland Publishing, New York 1976 |