• Reference Citation Analysis
  • v
  • v
  • Find an Article
Find an Article (55437782)   Find a Category (124)   Find a Journal (6159)   Find a Scholar (3952)   Find an Academic Assistant (18)
Find an Article PDF (4619887)   Today's Articles (1525)   Subscriber (49404)
Citation(s) in RCA

Indexed Articles
Ranked By
Results Analysis
  •   
  •   
  •   
  •   
Results Analysis
Article Statistics
Refine
For: Lev-Ami T, Immerman N, Reps T, Sagiv M, Srivastava S, Yorsh G. Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. Automated Deduction – CADE-20 2005. [DOI: 10.1007/11532231_8] [Citation(s) in RCA: 33] [Impact Index Per Article: 1.7] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/12/2022]
Number Cited by Other Article(s)
1
Static Detection of Loop-Invariant Data Structures. ECOOP 2012 – OBJECT-ORIENTED PROGRAMMING 2012. [DOI: 10.1007/978-3-642-31057-7_32] [Citation(s) in RCA: 22] [Impact Index Per Article: 1.8] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/11/2022]
2
Matching Logic: An Alternative to Hoare/Floyd Logic. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY 2011. [DOI: 10.1007/978-3-642-17796-5_9] [Citation(s) in RCA: 23] [Impact Index Per Article: 1.8] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/12/2022]
3
Lev-Ami T, Immerman N, Reps T, Sagiv M, Srivastava S, Yorsh G. Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. AUTOMATED DEDUCTION – CADE-20 2005. [DOI: 10.1007/11532231_8] [Citation(s) in RCA: 33] [Impact Index Per Article: 1.7] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 12/12/2022]
PrevPage 1 of 1 1Next
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA