LEADER 04842nam  22007335  450 
001 996465508603316
005 20200705191522.0
010   $a3-540-36614-8
024 7 $a10.1007/3-540-36614-8
035   $a(CKB)1000000000211957
035   $a(SSID)ssj0000320857
035   $a(PQKBManifestationID)11256873
035   $a(PQKBTitleCode)TC0000320857
035   $a(PQKBWorkID)10250307
035   $a(PQKB)11309528
035   $a(DE-He213)978-3-540-36614-0
035   $a(MiAaPQ)EBC3072287
035   $a(PPN)15516418X
035   $a(EXLCZ)991000000000211957
100   $a20121227d2003      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAdvanced Symbolic Analysis for Compilers$b[electronic resource] $eNew Techniques and Algorithms for Symbolic Program Analysis and Optimization /$fby Thomas Fahringer, Bernhard Scholz
205   $a1st ed. 2003.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003.
215   $a1 online resource (XII, 136 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2628
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-01185-4 
320   $aIncludes bibliographical references and index.
327   $aSymbolic Analysis of Programs -- Generating Program Contexts -- Symbolic Analysis Algorithms and Transformations -- Symbolic Analysis for Parallelizing Compilers -- Related Work -- Conclusion.
330   $aThe 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2628
606   $aSoftware engineering
606   $aProgramming languages (Electronic computers)
606   $aOperating systems (Computers)
606   $aComputer logic
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aSoftware engineering.
615  0$aProgramming languages (Electronic computers).
615  0$aOperating systems (Computers).
615  0$aComputer logic.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aSoftware Engineering.
615 24$aOperating Systems.
615 24$aLogics and Meanings of Programs.
676   $a005.4/53
700   $aFahringer$b Thomas$4aut$4http://id.loc.gov/vocabulary/relators/aut$0508818
702   $aScholz$b Bernhard$4aut$4http://id.loc.gov/vocabulary/relators/aut
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465508603316
996   $aAdvanced Symbolic Analysis for Compilers$92072170
997   $aUNISA