Travelled to:
1 × Belgium
Collaborated with:
A.P.W.Böhm
Talks about:
comprehens (1) complet (1) analysi (1) uniqu (1) array (1)
Person: David A. Garza-Salazar
DBLP: Garza-Salazar:David_A=
Contributed to:
Wrote 1 papers:
- SAS-1994-Garza-SalazarB #analysis #array
- Uniqueness and Completeness Analysis of Array Comprehensions (DAGS, APWB), pp. 193–207.