Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
21
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,250
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
Core Readings in Statistical Mediation 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,250
Generalized transition state theory. Classical mechanical theory and applications to collinear reactions of hydrogen molecules
Authors:
Bruce C Garrett
,
Donald G. Truhlar
Extensions of some classical methods in change point analysis
Authors:
Lajos Horváth
,
Gregory Rice
Quantitative assessment of classic anteroinferior bony Bankart lesions by radiography and computed tomography.
Authors:
Eiji Itoi
,
Seok-Beom Lee
,
Kimberly K. Amrami
…
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