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 /
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 /
CC 2000
David A. Watt (ed.).
- Berlin : Springer, ©2000.
- 1 online resource (x, 294 pages) : illustrations
- Lecture notes in computer science ; 1781. .
Rugtitel: CC 2000.
With bibliogr. references.
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.
This book constitutes the refereed proceedings of the 9th International Conference on Compiler Construction, CC 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 46 submissions. Among the topics covered are shape analysis, code optimization, Java virtual machine interpreters, stock allocation, loop processing, compiler optimization, run-time parallelization, automata implementation, partial evaluation, attribute evaluation, etc.
English.
9783540464235 3540464239 9788354046424 8354046427
10.1007/3-540-46423-9 doi
Compilers (Computer programs)--Congresses.
Computer science.
Software engineering.
Logic design.
Electronic Data Processing
Compilateurs (Logiciels)--Congrès.
Informatique.
Génie logiciel.
Structure logique.
Compilers (Computer programs)
Computer science
Logic design
Software engineering
Compilers.
Conference papers and proceedings
Congressen (vorm)
QA76.7-76.73
005.13
Rugtitel: CC 2000.
With bibliogr. references.
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.
This book constitutes the refereed proceedings of the 9th International Conference on Compiler Construction, CC 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 46 submissions. Among the topics covered are shape analysis, code optimization, Java virtual machine interpreters, stock allocation, loop processing, compiler optimization, run-time parallelization, automata implementation, partial evaluation, attribute evaluation, etc.
English.
9783540464235 3540464239 9788354046424 8354046427
10.1007/3-540-46423-9 doi
Compilers (Computer programs)--Congresses.
Computer science.
Software engineering.
Logic design.
Electronic Data Processing
Compilateurs (Logiciels)--Congrès.
Informatique.
Génie logiciel.
Structure logique.
Compilers (Computer programs)
Computer science
Logic design
Software engineering
Compilers.
Conference papers and proceedings
Congressen (vorm)
QA76.7-76.73
005.13