V. J. de Jong

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1988

1 EE V. J. de Jong: Symbolic dimension bound checking in a matrix language. ICCL 1988: 73-80