Cited By
View all- Masud ALisper B(2021)Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating ProgramsACM Transactions on Programming Languages and Systems10.1145/343448942:4(1-56)Online publication date: 4-Jan-2021
- Zhao CMei KZheng N(2014)Design of write merging and read prefetching buffer in DRAM controller for embedded processorMicroprocessors and Microsystems10.1016/j.micpro.2014.03.01038:5(451-457)Online publication date: Jul-2014
- Masud ALisper B(2021)Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating ProgramsACM Transactions on Programming Languages and Systems10.1145/343448942:4(1-56)Online publication date: 4-Jan-2021
- Show More Cited By