OpenAlex
Arithmetic Strengthening for Shape Analysis
Work
Year: 2007
Type: book-chapter
Source: Lecture notes in computer science
Authors S. Magill, Josh Berdine, Edmund M. Clarke, Byron Cook
Institutions Carnegie Mellon University, Microsoft Research (United Kingdom)
Cites: 37
Cited by: 68
Related to: 10
FWCI: 5.164
Citation percentile (by year/subfield): 89.55
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed