Compiler Construction 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings /

ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?v...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Watt, David A. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:1st ed. 2000.
Σειρά:Lecture Notes in Computer Science, 1781
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Shape Analysis
  • Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?
  • Pipelined Java Virtual Machine Interpreters
  • Automatic Removal of Array Memory Leaks in Java
  • A Static Study of Java Exceptions Using JESP
  • Fast Escape Analysis and Stack Allocation for Object-Based Programs
  • Constant Propagation on the Value Graph: Simple Constants and Beyond
  • Simple Generation of Static Single-Assignment Form
  • Demand-Driven Construction of Call Graphs
  • A Framework for Loop Distribution on Limited On-Chip Memory Processors
  • Techniques for Effectively Exploiting a Zero Overhead Loop Buffer
  • Advanced Compiler Optimization for CalmRISC8 Low-End Embedded Processor
  • Global Software Pipelining with Iteration Preselection
  • Analysis of Irregular Single-Indexed Array Accesses and Its Applications in Compiler Optimizations
  • Advanced Scalarization of Array Syntax
  • Techniques for Reducing the Overhead of Run-Time Parallelization
  • MATOU: An Implementation of Mode-Automata
  • Compiling Adaptive Programs by Partial Evaluation
  • Functional Incremental Attribute Evaluation.