Format:
Online-Ressource
ISBN:
9783540366140
,
3540011854
Series Statement:
Lecture Notes in Computer Science 2628
Content:
This book presents novel symbolic control and data flow techniques as well as symbolic techniques and algorithms for program analysis and program optimization. Program contexts, defining a new symbolic description of program semantics for control and data flow analysis, are at the center of the techniques and methods introduced. The authors develop solutions for a number of problems encountered in program analysis by using program contexts. The solutions proposed are efficient, versatile, unified, and more general than most existing methods. The authors' symbolic analysis framework is implemented as a prototype as part of the Vienna High Performance Compiler
Additional Edition:
ISBN 9783540011859
Additional Edition:
Buchausg. u.d.T. Fahringer, Thomas, 1965 - Advanced symbolic analysis for compilers Berlin : Springer, 2003 ISBN 3540011854
Language:
English
Subjects:
Computer Science
Keywords:
Programmoptimierung
;
Programmanalyse
;
Computeralgebra
;
Compiler
;
Automatische Parallelisierung
DOI:
10.1007/3-540-36614-8
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)