Search the dblp DataBase
Norihisa Suzuki :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
David C. Luckham , Norihisa Suzuki Verification of Array, Record, and Pointer Operations in Pascal. [Citation Graph (1, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1979, v:1, n:2, pp:226-244 [Journal ] Norihisa Suzuki , Koichi Kubota , Takashi Aoki Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] FGCS, 1984, pp:389-397 [Conf ] Lawrence Flon , Norihisa Suzuki Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs [Citation Graph (0, 0)][DBLP ] FOCS, 1978, pp:184-192 [Conf ] Norihisa Suzuki Design and Evaluation of Multiprocessor Workstations. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1989, pp:231- [Conf ] Norihisa Suzuki TOP-1 Multiprocessor Workstation. [Citation Graph (0, 0)][DBLP ] Workshop on Parallel Lisp, 1989, pp:353-363 [Conf ] Norihisa Suzuki Analysis of Pointer Rotation. [Citation Graph (0, 0)][DBLP ] POPL, 1980, pp:1-11 [Conf ] Norihisa Suzuki Inferring Types in Smalltalk. [Citation Graph (0, 0)][DBLP ] POPL, 1981, pp:187-199 [Conf ] Norihisa Suzuki , Kiyoshi Ishihata Implementation of an Array Bound Checker. [Citation Graph (0, 0)][DBLP ] POPL, 1977, pp:132-143 [Conf ] Norihisa Suzuki , Minoru Terada Creating Efficient Systems for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] POPL, 1984, pp:290-296 [Conf ] Takayasu Ito , Rishiyur S. Nikhil , Julian A. Padget , Norihisa Suzuki , Taiichi Yuasa Massively Parallel Architectures and Symbolic Computation (panel). [Citation Graph (0, 0)][DBLP ] Parallel Symbolic Computing, 1992, pp:408-416 [Conf ] Norihisa Suzuki Experience with Specification and Verification of Hardware Using PROLOG. [Citation Graph (0, 0)][DBLP ] VLSI Engineering, 1984, pp:161-173 [Conf ] David C. Luckham , Norihisa Suzuki Proof of Termination within a Weak Logic of Programs [Citation Graph (0, 0)][DBLP ] Acta Inf., 1977, v:8, n:, pp:21-36 [Journal ] Norihisa Suzuki Analysis of Pointer "Rotation". [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1982, v:25, n:5, pp:330-335 [Journal ] Norihisa Suzuki , David Jefferson Verification Decidability of Presburger Array Programs. [Citation Graph (0, 0)][DBLP ] J. ACM, 1980, v:27, n:1, pp:191-205 [Journal ] Hideyuki Nakashima , Norihisa Suzuki Data Abstraction in Prolog/KR. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 1983, v:1, n:1, pp:49-62 [Journal ] Lawrence Flon , Norihisa Suzuki The Total Correctness of Parallel Programs. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1981, v:10, n:2, pp:227-246 [Journal ] Search in 0.021secs, Finished in 0.022secs