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 26

Record: found
Abstract: not found
Article: not found

Efficiently computing static single assignment form and the control dependence graph

F. Zadeck, Mark Wegman, Barry Rosen … (1991)

0 comments Cited 113 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

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

German Puebla, Pedro Lopez-Garcia, Francisco Marques Bueno … (2005)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2008

Pages: 113-132

DOI: 10.1007/978-3-540-92188-2_5

SO-VID: c2340f7f-b4ed-4c95-83fe-ff07c70c4538

History

Data availability:

COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode

Read this book at

Related collections

SciELO Costa Rica

Most cited references 26

Efficiently computing static single assignment form and the control dependence graph

Mechanical program analysis

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,429

Cited by 7