Research Catalog

Program flow analysis : theory and applications

Title
Program flow analysis : theory and applications / [edited by] Stephen S. Muchnick, Neil D. Jones.
Publication
  • Englewood Cliffs, New Jersey : Prentice-Hall, [1981]
  • ©1981.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.6 .P75118Off-site

Details

Additional Authors
  • Muchnick, Steven S., 1945-
  • Jones, Neil D.
Description
xvii, 418 pages : illustrations; 24 cm.
Summary
"Presents a series of tutorial and research papers on the applications of flow analysis, as well as its methods and underlying theory." -- Preface.
Series Statement
Prentice-Hall software series
Uniform Title
Prentice-Hall software series
Subject
  • Data flow computing
  • Computer programming
  • computer programming
  • Programmanalyse
  • Programmierung
  • Software
  • Programmation (informatique)
  • Programmanalyse
  • Programmierung
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p. 394-407.
Contents
A survey of data flow analysis techniques / Ken Kennedy -- Degrees of availability as an introduction to the general theory of data flow analysis / Barry K. Rosen -- Reduction of operator strength / F. E. Allen, John Cocke, Ken Kennedy -- Flow analysis and optimization of lisp--like structures / Neil D. Jones, Steven S. Muchnick -- Global flow analysis and optimization in the MUG2 compiler generating system / Reinhard Wilhelm -- Intraprocedural elimination of partial redundancies / Etienne Morel, Claude Renvoise -- Two approaches to intraprocedural data flow analysis / Micha Sharir, Amir Pnuei -- Using data flow tools in software engineering / Leon Osterweil -- Symbolic evaluation methods for program analysis / Lori A. Clarke, Debra J. Richardson -- Semantic foundations of program analysis / Patrick Cousot -- Denotational definition of properties of program computation / Veronique Deonzeau-Gouge -- Complexity of flow analysis, inductive assertion synthesis, and a language due to Dijkstra / Neil D. Jones, Steven S. Muchnick.
ISBN
  • 0137296819
  • 9780137296811
LCCN
80022759
OCLC
  • ocm06789106
  • 6789106
  • SCSB-51662
Owning Institutions
Princeton University Library