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

Most cited references 37

Record: found
Abstract: not found
Article: not found

Abstract Interpretation Frameworks

Patrick Cousot, Radhia Cousot (1992)

0 comments Cited 68 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis

Jeffrey R. Dean, David D. Grove, Craig G. Chambers (1995)

0 comments Cited 27 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Undecidability of static analysis

William Landi (1992)

0 comments Cited 22 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2002

Publication date (Online): March 28 2002

Pages: 159-179

DOI: 10.1007/3-540-45937-5_13

SO-VID: 1e634d40-f04d-4601-a6b2-220c9f60e916

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 14

See all cited by

Modular Static Program Analysis

Read this book at

Related collections

Core Readings in Statistical Mediation Analysis

Most cited references 37

Abstract Interpretation Frameworks

Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis

Undecidability of static analysis

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,217

Cited by 14