Record: found
Abstract: not found
Book Chapter: not found

TVLA: A System for Implementing Static Analyses

other

Author(s): Tal Lev-Ami , Mooly Sagiv

Publication date (Print): 2000

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 10

Record: found
Abstract: not found
Article: not found

Solving shape-analysis problems in languages with destructive updating

Mooly Sagiv, Thomas Reps, Reinhard Wilhelm (1998)

0 comments Cited 28 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Parametric shape analysis via 3-valued logic

Thomas Reps, Mooly Sagiv, Reinhard Wilhelm (1999)

0 comments Cited 27 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Automatic verification of pointer programs using monadic second-order logic

Jakob Jensen, Michael E. Jørgensen, Michael I. Schwartzbach … (1997)

0 comments Cited 14 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2000

Pages: 280-301

DOI: 10.1007/978-3-540-45099-3_15

SO-VID: 81998d52-9824-4e2e-b76c-f1575d44c12a

History

Data availability:

TVLA: A System for Implementing Static Analyses

Read this book at

Related collections

The Dynamic Brain

Most cited references 10

Solving shape-analysis problems in languages with destructive updating

Parametric shape analysis via 3-valued logic

Automatic verification of pointer programs using monadic second-order logic

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,007

Cited by 33