A Resolution for Scalability Problem of Record Datatype Based Formal Memory Models in Coq. - Zheng Yang 007; Hang Lei; Weizhong Qian; Zehui Yan; Weiru Zeng (CSAE, 2020)