Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
34
views
10
references
Top references
cited by
33
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,053
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Static Analysis
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
Review
Review book
Invite someone to review
Bookmark
Cite as...
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
The Dynamic Brain
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:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 220
Abstract Interpretation of Game Properties
pp. 280
TVLA: A System for Implementing Static Analyses
pp. 322
Abstract Interpretation of Probabilistic Semantics
Similar content
2,053
Phylogenetically Driven Sequencing of Extremely Halophilic Archaea Reveals Strategies for Static and Dynamic Osmo-response
Authors:
Erin A. Becker
,
Phillip M. Seitzer
,
Andrew Tritt
…
Conformation of the von Willebrand factor/factor VIII complex in quasi-static flow
Authors:
Ernest T Parker
,
Pete Lollar
Mechanical properties and failure analysis of 3D-printing micron-scale ceramic-based triply periodic minimal surface scaffolds under quasi-static-compression and low-speed impact loads
Authors:
Ertai Cao
,
Zhicheng Dong
,
Xuanjia Zhang
…
See all similar
Cited by
33
Scalable Shape Analysis for Systems Code
Authors:
Hongseok Yang
,
Oukseh Lee
,
Josh Berdine
…
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists
Authors:
Roman Manevich
,
E. Yahav
,
G Ramalingam
…
Infer: An Automatic Program Verifier for Memory Safety of C Programs
Authors:
Cristiano Calcagno
,
Dino Distefano
See all cited by