Norihisa Suzuki

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