Advanced Symbolic Analysis Compilers by Fahringer Thomas (5 results)

Paperback. Condition: Brand New. 1st edition. 129 pages. 9.00x6.00x0.50 inches. In Stock.

Condition: New. Includes supplementary material: sn.pub/extrasThe objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, reverse-engineering to.

Taschenbuch. Condition: Neu. Advanced Symbolic Analysis for Compilers | New Techniques and Algorithms for Symbolic Program Analysis and Optimization | Thomas Fahringer (u. a.) | Taschenbuch | xii | Englisch | 2003 | Springer | EAN 9783540011859 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, reverse-engineering tools, program veri - tion/testing/proving systems, program comprehension systems, and program specializationtoolsarelargelydependentonprogramanalysis. Advancedp- gram analysis can: help to nd program errors; detect and tune performan- critical code regions; ensure assumed constraints on data are not violated; tailor a generic program to suit a speci c application; reverse-engineer so- ware modules, etc. A prominent program analysis technique is symbolic a- lysis, which has attracted substantial attention for many years as it is not dependent on executing a program to examine the semantics of a program, and it can yield very elegant formulations of many analyses. Moreover, the complexity of symbolic analysis can be largely independent of the input data size of a program and of the size of the machine on which the program is being executed. In this book we present novel symbolic control and data ow repres- tation techniques as well as symbolic techniques and algorithms to analyze and optimize programs. Program contexts which de ne a new symbolic - scription of program semantics for control and data ow analysis are at the center of our approach. We have solved a number of problems encountered in program analysis by using program contexts. Our solution methods are e cient, versatile, uni ed, and more general (they cope with regular and irregular codes) than most existing methods.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 148 pp. Englisch. …

Condition: New. Print on Demand pp. 148 Illus. This item is printed on demand.