Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
37
views
0
references
Top references
cited by
1
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,328
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Static Analysis
other
Editor(s):
Jens Palsberg
,
Zhendong Su
Publication date
(Print):
2009
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
Software for SAXS correction and analysis
Author and book information
Book
ISBN (Print):
978-3-642-03236-3
ISBN (Electronic):
978-3-642-03237-0
Publication date (Print):
2009
DOI:
10.1007/978-3-642-03237-0
SO-VID:
710766f1-ce8f-4ea2-97ff-1fbac9adcbc0
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Abstraction Refinement for Quantified Array Assertions
pp. 52
Automatic Parallelization and Optimization of Programs by Proof Rewriting
pp. 86
The Causal Graph Revisited for Directed Model Checking
pp. 69
Refinement of Trace Abstraction
pp. 238
Type Analysis for JavaScript
pp. 309
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Similar content
2,328
Effect of rhythmic physical activities in view of motor development on promoting static stability in children aged 3-6
Authors:
A micropolar peridynamic model with non-uniform horizon for static damage of solids considering different nonlocal enhancements
Authors:
Yiming Zhang
,
Xueqing Yang
,
Xueya Wang
…
Full-immersion virtual reality: Adverse effects related to static balance.
Authors:
SoHu Park
,
GyuChang Lee
See all similar
Cited by
1
Fast and exact analysis for LRU caches
Authors:
Claire Maïza
,
Valentin Touzeau
,
David Monniaux
…
See all cited by