搜索结果: 1-1 共查到“程序设计及其语言 context”相关记录1条 . 查询时间(0.087 秒)
Specification Inference Using Context-Free Language Reachability
program analysis verification specification inference
2016/5/24
We present a framework for computing context-free language reachability properties when parts of the program are missing. Our framework infers candidate specifications for missing program pieces that ...