Paper Info
Title
Completeness of Separation Logic with Inductive Definitions for Program Verification.
Year
DOI
Venue
2014
10.1007/978-3-319-10431-7_3
SEFM
Field
DocType
Citations 
Predicate transformer semantics,Pointer (computer programming),Peano axioms,Separation logic,Programming language,Gödel's completeness theorem,Computer science,Assertion,Completeness (statistics),Lemma (mathematics)
Conference
2
PageRank 
References 
Authors
0.36
16
2
Name
Order
Citations
PageRank
Makoto Tatsuta111122.36
weingan chin2777.94