Compiler Construction: 10th International Conference, Cc 2001, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001, Genova

by CC 2001 (2001 : Genoa, Italy)

• ISBN13: 9783540418610
• ISBN10: 354041861X
• Edition: 1st
• Format: Paperback
• Copyright: 2001-04-01
• Publisher: SPRINGER

Summary

Das Buch gibt eine umfassende Darstellung einer Methodik zur Interpretation und Bedeutungsrepräsentation natürlichsprachlicher Ausdrücke. Diese Methodik der 'Mehrschichtigen Erweiterten Semantischen Netze' (MultiNet) ist sowohl für theoretische Untersuchungen als auch für die automatische Verarbeitung natürlicher Sprache auf dem Rechner geeignet. Die vorgestellten Ergebnisse sind eingebettet in ein System von Software-Werkzeugen, die eine praktische Nutzung der MultiNet-Darstellungsmittel als Formalismus zur Bedeutungsrepräsentation sichern. Hierzu gehören: eine Werkbank für den Wissensingenieur, ein Übersetzungssystem zur automatischen Gewinnung von Bedeutungsdarstellungen natürlichsprachlicher Sätze und eine Werkbank für den Computerlexikographen. - Der Inhalt des Buches beruht auf jahrzehntelanger Forschung zur automatischen Sprachverarbeitung und wurde in der Hochschullehre an der TU Dresden und der FernUniversität Hagen wiederholt eingesetzt.

Table of Contents

Invited Talk
Virtual Classes and Their Implementation	p. 1
Program Analysis
Alias Analysis by Means of a Model Checker	p. 3
Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries	p. 20
A Novel Probabilistic Data Flow Framework	p. 37
Program Transformation
Imperative Program Transformation by Rewriting	p. 52
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications	p. 69
User-Extensible Simplification-Type-Based Optimizer Generators	p. 86
A Practical, Robust Method for Generating Variable Range Tables	p. 102
Program Analysis
Efficient Symbolic Analysis for Optimizing Compilers	p. 118
Interprocedural Shape Analysis for Recursive Programs	p. 133
Design-Driven Compilation	p. 150
Intraprocessor Parallelism
Software Pipelining of Nested Loops	p. 165
A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows	p. 182
Comparing Tail Duplication with Compensation Code in Single Path Global Instruction Scheduling	p. 200
Register Saturation in Superscalar and VLIW Codes	p. 213
Parsing
Directly-Executable Earley Parsing	p. 229
A Bounded Graph-Connect Construction for LR-regular Parsers	p. 244
Memory Hierarchy
Array Unification: A Locality Optimization Technique	p. 259
Optimal Live Range Merge for Address Register Allocation in Embedded Programs	p. 274
Speculative Prefetching of Induction Pointers	p. 289
Constant-Time Root Scanning for Deterministic Garbage Collection	p. 304
Profiling
Goal-Directed Value Profiling	p. 319
A Framework for Optimizing Java Using Attributes	p. 334
Demos
SmartTools: A Generator of Interactive Environments Tools	p. 355
Visual Patterns in the VLEli System	p. 361
The Asf=Sdf Meta-environment: A Component-Based Language Development Environment	p. 365
Author Index	p. 371
Table of Contents provided by Publisher. All Rights Reserved.