B·德斯梅特专利

B·德斯梅特专利技术

B·德斯梅特共有1项专利

使用基于类型的状态机的查询约束编码制造技术

本发明涉及使用基于类型的状态机的查询约束编码。可根据对目标编程语言的查询约束进行编码的基于类型的状态机来分析源编程语言中指定的查询。基于类型的状态机可将这样的约束编码为表示状态的类型以及表示状态或类型之间的转换的方法。

最后更新日期：2012-04-11 18:40 访问量：224