Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Compiler Construction: 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings > Modular Static Program Analysis
Compiler Construction: 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings |
R. Niegel Horspool
Springer Berlin Heidelberg
Compiler Construction: 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
Modular Static Program Analysis
Authors

Patrick Cousot; Radhia Cousot

ARI Id

1664248110501_917921

Access

Not Available Free

Pages

159-179

DOI

10.1007/3-540-45937-5_13

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-45937-5_13

Table of Contents of Book
Showing 1 to 20 of 25 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XI
LISA: An Interactive Environment for Programming Language Development
Marjan Mernik; Mitja Lenič; Enis Avdičaušević; Viljem Žumer
1-4
Building an Interpreter with Vmgen
M. Anton Ertl; David Gregg
5-8
Compiler Construction Using LOTOS NT
Hubert Garavel; Frédéric Lang; Radu Mateescu
9-13
Data Compression Transformations for Dynamically Allocated Data Structures
Youtao Zhang; Rajiv Gupta
14-28
Evaluating a Demand Driven Technique for Call Graph Construction
Gagan Agrawal; Jinqian Li; Qi Su
29-45
A Graph—Free Approach to Data—Flow Analysis
Markus Mohnen
46-61
A Representation for Bit Section Based Analysis and Optimization
Rajiv Gupta; Eduard Mehofer; Youtao Zhang
62-77
Online Subpath Profiling
David Oren; Yossi Matias; Mooly Sagiv
78-94
Precise Exception Semantics in Dynamic Compilation
Michael Gschwind; Erik Altman
95-110
Decompiling Java Bytecode: Problems, Traps and Pitfalls
Jerome Miecznikowski; Laurie Hendren
111-127
Forwarding in Attribute Grammars for Modular Language Design
Eric Van Wyk; Oege de Moor; Kevin Backhouse; Paul Kwiatkowski
128-142
Disambiguation Filters for Scannerless Generalized LR Parsers
Mark G. J. van den Brand; Jeroen Scheerder; Jurgen J. Vinju; Eelco Visser
143-158
Modular Static Program Analysis
Patrick Cousot; Radhia Cousot
159-179
StreamIt: A Language for Streaming Applications
William Thies; Michal Karczmarek; Saman Amarasinghe
179-196
Compiling Mercury to High-Level C Code
Fergus Henderson; Zoltan Somogyi
197-212
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
George C. Necula; Scott McPeak; Shree P. Rahul; Westley Weimer
213-228
Linear Scan Register Allocation in the Context of SSA Form and Register Constraints
Hanspeter Mössenböck; Michael Pfeiffer
229-246
Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation
Andrea G. M. Cilio; Henk Corporaal
247-261
Optimizing Static Power Dissipation by Functional Units in Superscalar Processors
Siddharth Rele; Santosh Pande; Soner Onder; Rajiv Gupta
261-275
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 25 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings