Norihisa Suzuki

Publication Activity (10 Years)

Years Active: 1975-1992
Publications (10 Years): 0

Publications

Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa
Massively Parallel Architectures and Symbolic Computation (panel). Parallel Symbolic Computing (1992)
Norihisa Suzuki
TOP-1 Multiprocessor Workstation. Workshop on Parallel Lisp (1989)
Norihisa Suzuki
Design and Evaluation of Multiprocessor Workstations. IFIP Congress (1989)
Norihisa Suzuki
Concurrent Prolog as an Efficient VLSI Design Language. Computer 18 (2) (1985)
Norihisa Suzuki
Experience with Specification and Verification of Hardware Using PROLOG. VLSI Engineering (1984)
Norihisa Suzuki, Minoru Terada
Creating Efficient Systems for Object-Oriented Languages. POPL (1984)
Norihisa Suzuki, Koichi Kubota, Takashi Aoki
Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages. FGCS (1984)
Hideyuki Nakashima, Norihisa Suzuki
Data Abstraction in Prolog/KR. New Gener. Comput. 1 (1) (1983)
Norihisa Suzuki
Analysis of Pointer "Rotation". Commun. ACM 25 (5) (1982)
Norihisa Suzuki
Inferring Types in Smalltalk. POPL (1981)
Lawrence Flon, Norihisa Suzuki
The Total Correctness of Parallel Programs. SIAM J. Comput. 10 (2) (1981)
Norihisa Suzuki
Analysis of Pointer Rotation. POPL (1980)
Norihisa Suzuki, David Jefferson
Verification Decidability of Presburger Array Programs. J. ACM 27 (1) (1980)
David C. Luckham, Norihisa Suzuki
Verification of Array, Record, and Pointer Operations in Pascal. ACM Trans. Program. Lang. Syst. 1 (2) (1979)
Lawrence Flon, Norihisa Suzuki
Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs FOCS (1978)
Norihisa Suzuki, Kiyoshi Ishihata
Implementation of an Array Bound Checker. POPL (1977)
Lawrence Flon, Norihisa Suzuki
Nondeterminism and the Correctness of Parallel Programs. Formal Description of Programming Concepts (1977)
David C. Luckham, Norihisa Suzuki
Proof of Termination within a Weak Logic of Programs. Acta Informatica 8 (1977)
Norihisa Suzuki
Verifying programs by algebraic and logical reduction. Reliable Software (1975)