语义描述
更新时间:-- | 阅读量: 69

有关内容参见:Automata Theory;BackusNaur Form;...按照类比（事实上不一定是必需的），操作语义描述法对应于程序设计语言的解释程序的描述，标志语义描述法对应于程序元素性质的描述（不顾最后结果），公理语义描述法 ...

搜索到与“ 语义描述”相关的文献共 1条

一种漏洞代码语义描述语言的设计与实现
针对当前对安全漏洞源代码的通用描述语言研究的不足,基于XML (eXtensible markup language),提出了一种形式化漏洞代码语义描述语言VCSDL (vulnerability c...

《江苏大学学报(自然科学版)》 2020年03期关键词: "描述语言"," 安全漏洞"," 结构化描述"," XML"," 漏洞检测" 收藏