Nguyen, Thi Viet Nga
1397  results:
Search for persons X
?
6

Efficient and effective array bound checking:

Nguyen, Thi Viet Nga ; Irigoin, François
ACM Transactions on Programming Languages and Systems (TOPLAS).  27 (2005)  3 - p. 527-570 , 2005
 
?
7

Efficient and effective array bound checking:

Nguyen, Thi Viet Nga ; Irigoin, François
ACM Transactions on Programming Languages and Systems.  27 (2005)  3 - p. 527-570 , 2005
 
?
8

Sequencing Fortran program array verifications:

Nguyen, Thi Viet Nga
ACM SIGPLAN Fortran Forum.  22 (2003)  1 - p. 8-10 , 2003
 
?
9

Sequencing Fortran program array verifications:

Nguyen, Thi Viet Nga
ACM SIGPLAN Fortran Forum.  22 (2003)  1 - p. 8-10 , 2003
 
?
10

Alias verification for Fortran code optimization:

Nguyen, Thi Viet Nga ; Irigoin, François
Electronic Notes in Theoretical Computer Science.  65 (2002)  2 - p. 52-66 , 2002
 
?
11

Array resizing for scientific code debugging, maintenance a..:

, In: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering,
 
?
12

Pedagogical student assessment tools for learning outcome a..:

Pham, Huong Thi ; Nguyen, Nga Thi Viet
Cypriot Journal of Educational Sciences.  18 (2023)  1 - p. 158-174 , 2023
 
?
 
?
 
1-15