共 50 条
- [41] Integration of multivariate rational functions given by straight-line programs APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR-CORRECTING CODES, 1995, 948 : 347 - 364
- [44] Brief Announcement: Fence Insertion for Straight-line Programs is in P PROCEEDINGS OF THE ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'17), 2017, : 97 - 99
- [49] Data-flow analysis for MPI programs 2006 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDINGS, 2006, : 175 - 184
- [50] Data-Flow Testing of Declarative Programs ICFP'08: PROCEEDINGS OF THE 2008 SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2008, : 201 - 212