V. J. de Jong

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1988

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