ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
13
views
5
references
Top references
cited by
34
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,800
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Static Analysis
Stack Size Analysis for Interrupt-Driven Programs
other
Author(s):
Krishnendu Chatterjee
,
Di Ma
,
Rupak Majumdar
,
Tian Zhao
,
Thomas A. Henzinger
,
Jens Palsberg
Publication date
(Online):
May 13 2003
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
5
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Graph-theoretic methods in database theory
Mihalis Yannakakis
(1990)
0
comments
Cited
22
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Proving the correctness of reactive systems using sized types
John Hughes
,
Lars Pareto
,
Amr Sabry
(1996)
0
comments
Cited
20
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Precise interprocedural dataflow analysis via graph reachability
Thomas Reps
,
Mooly Sagiv
,
Susan Horwitz
(1995)
0
comments
Cited
16
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2003
Publication date (Online):
May 13 2003
Pages
: 109-126
DOI:
10.1007/3-540-44898-5_7
SO-VID:
6fc1718a-e7d9-4690-8996-65a35949bc6e
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 109
Stack Size Analysis for Interrupt-Driven Programs
pp. 189
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
pp. 295
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
pp. 316
Computer-Assisted Verification of a Protocol for Certified Email
pp. 337
Precise Widening Operators for Convex Polyhedra
Similar content
3,800
Heightened resistance to host type 1 interferons characterizes HIV-1 at transmission and after antiretroviral therapy interruption
Authors:
Marcos V. P. Gondim
,
Scott Sherrill-Mix
,
Frederic Bibollet-Ruche
…
2-stacks over bisites
Authors:
Elena Caviglia
Layer-controlled single-crystalline graphene film with stacking order via Cu–Si alloy formation
Authors:
Van Luan Nguyen
,
Dinh Duong
,
Sang Hyub Lee
…
See all similar
Cited by
34
A Temporal Logic of Nested Calls and Returns
Authors:
Rajeev Alur
,
Kousha Etessami
,
P. Madhusudan
Design and Implementation of Concurrent C0
Authors:
Max Willsey
,
Rokhini Prabhu
,
Frank Pfenning
A distributed Lagrange formulation of the Finite Element Immersed Boundary Method for fluids interacting with compressible solids
Authors:
Daniele Boffi
,
Luca Heltai
,
Lucia Gastaldi
See all cited by