LEADER 01562nam2-2200445---450- 001 990001776640203316 005 20060202155022.0 010 $a88-7063-052-8 035 $a000177664 035 $aUSA01000177664 035 $a(ALEPH)000177664USA01 035 $a000177664 100 $a20040621d1987----km-y0enga50------ba 101 0 $aita 102 $aIT 105 $ay|||z|||001yy 200 1 $a<<4 :>> <> sistema produttivo e le sue competenze$fa cura di Lorenzo Bianconi e Giorgio Pestelli 210 $aTorino$cEdi/Musica$d1987 215 $aXVI, 415 p., [49] c. di tav.$cill.$d23 cm 225 2 $aBiblioteca di cultura musicale 300 $aPrima del tit.: Parte 2, i sistemi 410 0$12001$aBiblioteca di cultura musicale 461 1$10010098599$12001$aStoria dell'opera italiana 606 0 $aMelodramma italiano$xStoria 676 $a782.10945 702 1$aBIANCONI,$bLorenzo 702 1$aPESTELLI,$bGiorgio 801 0$aIT$bsalbc$gISBD 912 $a990001776640203316 951 $aXIII.3. Coll.15/ 5/4(VII M COLL 43/4.2)$b174487 L.M.$cVII M COLL$d00134423 951 $aXIII.3. Coll.15/ 5/4a(VII M COLL 43/4.2Bis)$b174489 Lm$cVII P 951 $aXIII.3. Coll.15/ 5/4b(VII M COLL 43/4.2A)$b174488 LM$cVII P 959 $aBK 969 $aUMA 979 $aMARIA$b10$c20040621$lUSA01$h1611 979 $aRENATO$b90$c20040906$lUSA01$h1055 979 $aRENATO$b90$c20040906$lUSA01$h1056 979 $aCOPAT5$b90$c20060202$lUSA01$h1550 996 $aSistema produttivo e le sue competenze$9952692 997 $aUNISA 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 LEADER 01051nam 2200301z- 450 001 9910671649603321 005 20080426085109.0 035 $a(CKB)4920000000520049 035 $a(EXLCZ)994920000000520049 100 $a20200531c2007uuuu -u- - 101 0 $aeng 200 10$aGobiernos locales en Me?xico $ehacia una agenda de gestio?n estrate?gica de desarrollo /$fJose? Mari?a Ramos Garci?a 210 $cCámara de Diputados 311 $a970-701-907-7 517 $aGobiernos locales en México 606 $aLocal government$zMexico$xCitizen participation 606 $aPolitical participation$zMexico 606 $aTransparency in government$zMexico 606 $aGobierno local$zMe?xico 615 0$aLocal government$xCitizen participation. 615 0$aPolitical participation 615 0$aTransparency in government 615 0$aGobierno local 700 $aRamos Garci?a$b Jose? Mari?a$01335038 906 $aBOOK 912 $a9910671649603321 996 $aGobiernos locales en Me?xico$93048016 997 $aUNINA