0
喜欢
0
书签
声明论文
Liquid types   
摘  要:   Abstract We present Logically Qualified Data Types, abbreviated to Liquid Types, a system that combines Hindley-Milner type inference with Predicate Abstraction to automatically infer dependent types precise enough to prove a variety of safety properties. Liquid types allow ...
发  表:   SIGPLAN Conference on Programming Language Design and Implementation  2008

论文统计图
共享有8个版本
 [展开全部版本] 

Bibtex
创新指数 
阅读指数 
重现指数 
论文点评
还没有人点评哦

Feedback
Feedback
Feedback
我想反馈:
排行榜