Abstract is missing.
- Constraint-Based Type Inference and Parametric PolymorphismOle Agesen. 78-100
- Efficient On-the-fly Analysis of Program Behavior and Static Cache SimulationFrank Mueller, David B. Whalley. 101-115
- From Processor Timing Specifications to Static Intruction SchedulingEdwin A. Harcourt, Jon Mauney, Todd A. Cook. 116-130
- Stackability in the Simply-Typed Call-by-Value Lambda CalculusAnindya Banerjee, David A. Schmidt. 131-146
- Generalized Boxings, Congruences and Partial InliningJean Goubault. 147-161
- Selective ThunkificationPaul Steckler, Mitchell Wand. 162-178
- About Synchronous Programming and Abstract InterpretationNicolas Halbwachs. 179-192
- Uniqueness and Completeness Analysis of Array ComprehensionsDavid A. Garza-Salazar, A. P. Wim Böhm. 193-207
- Extended Analysis of Data FieldsBjörn Lisper, Jean-Francois Collard. 208-222
- Verification of Linear Hybrid Systems by Means of Convex ApproximationsNicolas Halbwachs, Yann-Eric Proy, Pascal Raymond. 223-237
- Compile-time Detection of Uncaught Exceptions in Standard ML ProgramsKwangkeun Yi. 238-254
- Efficient Strictness Analysis of HaskellKristian Damm Jensen, Peter Hjæresen, Mads Rosendahl. 246-362
- Estimating the Computational Cost of Logic ProgramsSaumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin. 255-265
- Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient RepresentationTania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard. 266-280
- Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness InformationDaniel Cabeza Gras, Manuel V. Hermenegildo. 297-313
- Efficient FixPoint ComputationBart Vergauwen, J. Wauman, Johan Lewi. 314-328
- Abstract Interpretation Using TDGsLaurent Mauborgne. 363-379
- A Type-based Framework for Program AnalysisChris Hankin, Daniel Le Métayer. 380-394
- Iterative Fixed Point Computation for Type-Based Strictness AnalysisFritz Henglein. 395-407
- Strictness and Totality AnalysisKirsten Lackner Solberg. 408-422
- Fast Strictness Analysis Via Symbolic Fixpoint IterationCharles Consel. 423-431
- Generating Transformers for Deforestation and SupercompilationRobert Glück, Jesper Jørgensen. 432-448
- Mechanical Elimination of Commutative RedundancyHessam Khoshnevisan, Mohamad Afshar. 449-463