 | 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 | | Norihisa Suzuki,
David Jefferson:
Verification Decidability of Presburger Array Programs.
J. ACM 27(1): 191-205 (1980) |
| 1979 |
|---|
| 5 | | 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 |
