Bottom-Up Shape Analysis (Q3392926): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 21:56, 1 July 2024

scientific article

Language	Label	Description	Also known as
English	Bottom-Up Shape Analysis	scientific article

Statements

scholarly article

0 references

Bottom-Up Shape Analysis (English)

0 references

zbMATH Open document ID

0 references

10.1007/978-3-642-03237-0_14

0 references

Bhargav S. Gulavani

0 references

Supratik Chakraborty

0 references

0 references

0 references

Static Analysis

0 references

publication date

18 August 2009

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-03237-0_14

0 references

0 references

CONCUR 2004 - Concurrency Theory

0 references

Monotonic Abstraction for Programs with Dynamic Memory Heaps

0 references

Automated Technology for Verification and Analysis

0 references

Computer Aided Verification

0 references

Tools and Algorithms for the Construction and Analysis of Systems

0 references

Abstract Regular Tree Model Checking of Complex Dynamic Data Structures

0 references

Computer Aided Verification

0 references

Compositional shape analysis by means of bi-abduction

0 references

0 references

Bottom-Up Shape Analysis

0 references

0 references

Heap Assumptions on Demand

0 references

Regular Model Checking using Widening Techniques

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3392926

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3392926&oldid=35123160"