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
22
views
18
references
Top references
cited by
10
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,428
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Static Analysis
On the Limits of the Classical Approach to Cost Analysis
other
Author(s):
Diego Esteban Alonso-Blas
,
Samir Genaim
Publication date
(Print):
2012
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
Most cited references
18
Record
: found
Abstract
: not found
Article
: not found
REDLOG
Thomas Sturn
,
Andreas Dolzmann
(1997)
0
comments
Cited
37
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Mechanical program analysis
Ben Wegbreit
(1975)
0
comments
Cited
29
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Closed-Form Upper Bounds in Static Cost Analysis
Puri Arenas
,
Samir Genaim
,
German Puebla
…
(2011)
0
comments
Cited
28
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2012
Pages
: 405-421
DOI:
10.1007/978-3-642-33125-1_27
SO-VID:
c01257cd-c2bf-403d-b8fb-8a8bea784f25
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 58
Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases
pp. 248
Symbolic Learning of Component Interfaces
pp. 300
Craig Interpretation
pp. 405
On the Limits of the Classical Approach to Cost Analysis
pp. 422
Termination Proofs for Linear Simple Loops
Similar content
4,428
Cost-Benefit Arbitration Between Multiple Reinforcement-Learning Systems.
Authors:
Wouter Kool
,
Samuel Gershman
,
Fiery A. Cushman
Costs and benefits of breeding in human-altered landscapes for the Eagle Owl Bubo bubo
Authors:
LUIGI MARCHESI
,
Fabrizio Sergio
,
Paolo Pedrini
Inflammation-induced Occludin Downregulation Limits Epithelial Apoptosis by Suppressing Caspase-3 Expression
Authors:
Wei-Ting Kuo
,
Le Shen
,
Li Zuo
…
See all similar
Cited by
10
Resource Analysis of Complex Programs with Cost Equations
Authors:
Antonio Flores-Montoya
,
Reiner Hähnle
Lower Runtime Bounds for Integer Programs
Authors:
F. Frohn
,
M. Naaf
,
J. Hensel
…
Automatic Static Cost Analysis for Parallel Programs
Authors:
Jan Hoffmann
,
Zhong Shao
See all cited by