合 作 者
期刊 & 会议
 
年  份
Ming Kawaguchi 的论文(15) 排序方式:
Liquid types  
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 e......
SIGPLAN Conference on Programming Language Design and Implementation  2008
45次引用 0 0
Liquid types  
We presentLogically Qualified Data Types, abbreviated toLiquid Types, a system that combinesHindley-Milnertype inference withPredicate Abstractionto automatically infer dependent types precise enough ......
Sigplan Notices  2008
30次引用 0 0
Type-based data structure verification  
Author information hidden for double-blind review We present a refinement type-based approach for the static verification of complex data structure invariants. Our approach is based on the observation......
SIGPLAN Conference on Programming Language Design and Implementation  2009
11次引用 0 0
Type-based data structure verification  
We present a refinement type-based approach for the static verification of complex data structure invariants. Our approach is based on the observation that complex data structures are typically fashio......
Sigplan Notices  2009
6次引用 0 0
Low-level liquid types  
We presentLow-Level Liquid Types, a refinement type system for C based onLiquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verification of critical safe......
Sigplan Notices  2010
6次引用 0 0
Conditional equivalence  
A typical software module evolves through many versions over the course of its development. To maintain compatibility with module clients, it is crucial that a module's behavior at its interface does ......
 2010
4次引用 0 0
Low-level liquid types  
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine re- finement types with three key elements to automate verification of critical ......
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages  2010
3次引用 0 0
SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs  
Computer Aided Verification  2012
0次引用 0 0
CSolve: Verifying C with Liquid Types  
We present CSolve, an automated verifier for C programs based on Liquid Type inference. We show how CSolve verifies memory safety through an example and describe its architecture and interface.......
Computer Aided Verification  2012
0次引用 0 0
Towards Modularly Comparing Programs Using Automated Theorem Provers  
Conference on Automated Deduction  2013
0次引用 0 0

1/2 第一页 上一页 1 2 下一页
Feedback
Feedback
Feedback
我想反馈:
排行榜