Testing 实现符号表和DFS
我想为一种语言实现Testing 实现符号表和DFS,testing,compiler-construction,execution,verification,model-driven-development,Testing,Compiler Construction,Execution,Verification,Model Driven Development,我想为一种语言实现符号执行引擎。我需要在符号表中存储变量的类型、值等。我在语句和操作中有全局和局部变量 如果我没有局部变量，那么这个序列似乎也适用： Sequence {Map{name->'a', value <- 'A', type <- 'Member'}, Map {name->'b', value <- 'B', type <- 'Family'},...} Sequence{Map{name->'a'，value@Ira Baxter您能帮我了解
符号执行引擎符号表Sequence {Map{name->'a', value <- 'A', type <- 'Member'}, Map {name->'b', value <- 'B', type <- 'Family'},...}
Sequence{Map{name->'a'，value@Ira Baxter您能帮我了解DFS部分吗？@Ira Baxter您能帮我了解DFS部分吗？