搜索结果: 1-1 共查到“计算机科学技术 Regular Tree Expressions”相关记录1条 . 查询时间(0.062 秒)
Regular tree expressions are a natural formalism for describing the sets of tree-structured values that commonly arise in programs; thus,they are well-suited to applications in program analysis. We de...