Travelled to:
1 × USA
Collaborated with:
N.Suzuki
Talks about:
implement (1) checker (1) bound (1) array (1)
Person: Kiyoshi Ishihata
DBLP: Ishihata:Kiyoshi
Contributed to:
Wrote 1 papers:
- POPL-1977-SuzukiI #array #bound #implementation
- Implementation of an Array Bound Checker (NS, KI), pp. 132–143.