LEADER 05407nam 22007815 450 001 996465283503316 005 20200703102727.0 010 $a1-280-38313-5 010 $a9786613561053 010 $a3-642-03237-0 024 7 $a10.1007/978-3-642-03237-0 035 $a(CKB)1000000000772896 035 $a(SSID)ssj0000320191 035 $a(PQKBManifestationID)11255891 035 $a(PQKBTitleCode)TC0000320191 035 $a(PQKBWorkID)10347439 035 $a(PQKB)11062317 035 $a(DE-He213)978-3-642-03237-0 035 $a(MiAaPQ)EBC3064441 035 $a(PPN)139870849 035 $a(EXLCZ)991000000000772896 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aStatic Analysis$b[electronic resource] $e16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings /$fedited by Jens Palsberg, Zhendong Su 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (X, 362 p.) 225 1 $aProgramming and Software Engineering ;$v5673 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-03236-2 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Algorithmic Program Synthesis with Partial Programs and Decision Procedures -- Algorithmic Verification of Systems Software Using SMT Solvers -- Contributed Papers -- Abstraction Refinement for Quantified Array Assertions -- Inferring Dataflow Properties of User Defined Table Processors -- Polymorphic Fractional Capabilities -- Automatic Parallelization and Optimization of Programs by Proof Rewriting -- Refinement of Trace Abstraction -- The Causal Graph Revisited for Directed Model Checking -- Proving the Correctness of the Implementation of a Control-Command Algorithm -- Abstract Interpretation of FIFO Replacement -- A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination -- Increasing the Scope and Resolution of Interprocedural Static Single Assignment -- Region Analysis for Race Detection -- Bottom-Up Shape Analysis -- The Complexity of Andersen?s Analysis in Practice -- Optimizing Pointer Analysis Using Bisimilarity -- Type Analysis for JavaScript -- Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology -- Creating Transformations for Matrix Obfuscation -- Abstract Interpretation from a Topological Perspective -- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships -- Invariant Checking for Programs with Procedure Calls -- Inter-program Properties. 330 $aThis book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invited lectures were carefully reviewed and selected from 52 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems. 410 0$aProgramming and Software Engineering ;$v5673 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aComputer programming 606 $aComputer logic 606 $aMathematical logic 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aProgramming languages (Electronic computers). 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 676 $a005.13 702 $aPalsberg$b Jens$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSu$b Zhendong$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Static Analysis Symposium$d(16th :$f2009 :$eLos Angeles, Calif.) 906 $aBOOK 912 $a996465283503316 996 $aStatic Analysis$9772085 997 $aUNISA LEADER 02038oam 2200433 a 450 001 9910699770803321 005 20110309103940.0 035 $a(CKB)5470000002405236 035 $a(OCoLC)52891699 035 $a(EXLCZ)995470000002405236 100 $a20030821d2003 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSupplemental draft environmental impact statement for the Jack Morrow Hills coordinated activity plan/draft Green River resource management plan amendment for public lands administered by the Bureau of Land Management, Rock Springs Field Office, Rock Springs Wyoming$b[electronic resource] /$fprepared by United States Department of the Interior, Bureau of Land Management, Rock Springs Field Office, in cooperation with the state of Wyoming ... [and others] 210 1$a[Rock Springs, Wyo.] :$cU.S. Dept. of the Interior, Bureau of Land Management, Wyoming State Office, Rock Springs Field Office,$d[2003] 215 $a1 online resource (2 volumes) $cillustrations, maps 300 $aTitle from v. 1 title screen (viewed Aug. 21, 2003). 300 $a"January 2003." 300 $a"BLM/WY/PL-03/008+1610"--P. [2] of cover. 320 $aIncludes bibliographical references. 517 3 $aEnvironmental impact statement for the Jack Morrow Hills coordinated activity plan 517 3 $aDraft Green River resource management plan 606 $aPublic lands$zWyoming$xManagement 606 $aLand use$xEnvironmental aspects$zWyoming 606 $aNatural resources$zWyoming$xManagement 615 0$aPublic lands$xManagement. 615 0$aLand use$xEnvironmental aspects 615 0$aNatural resources$xManagement. 801 0$bGPO 801 1$bGPO 801 2$bOCLCQ 801 2$bGPO 906 $aBOOK 912 $a9910699770803321 996 $aSupplemental draft environmental impact statement for the Jack Morrow Hills coordinated activity plan$93092159 997 $aUNINA LEADER 04847nam 2201069Ia 450 001 9910779756403321 005 20230803020909.0 010 $a0-520-95527-7 024 7 $a10.1525/9780520955271 035 $a(CKB)2550000001064492 035 $a(EBL)1208847 035 $a(SSID)ssj0000916997 035 $a(PQKBManifestationID)11485389 035 $a(PQKBTitleCode)TC0000916997 035 $a(PQKBWorkID)10891559 035 $a(PQKB)10597942 035 $a(StDuBDS)EDZ0000173330 035 $a(MiAaPQ)EBC1208847 035 $a(DE-B1597)520907 035 $a(OCoLC)849787144$z(OCoLC)850079054 035 $a(DE-B1597)9780520955271 035 $a(Au-PeEL)EBL1208847 035 $a(CaPaEBR)ebr10721339 035 $a(CaONFJC)MIL498990 035 $a(OCoLC)850079054 035 $a(OCoLC)849787144 035 $a(EXLCZ)992550000001064492 100 $a20121115d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe musical legacy of wartime France$b[electronic resource] /$fLeslie A. Sprout 210 $aBerkeley $cUniversity of California Press$d2013 215 $a1 online resource (305 p.) 225 0 $aCalifornia studies in 20th-century music ;$v16 300 $aDescription based upon print version of record. 311 $a0-520-27530-6 311 $a1-299-67740-1 320 $aIncludes bibliographical references and index. 327 $tFrontmatter --$tContents --$tIllustrations --$tPreface and Acknowledgments --$t1. Poulenc's Wartime Secrets --$t2. Honegger's Postwar Rehabilitation --$t3. Ignoring Jolivet's Testimony, Embracing Messiaen's Memories --$t4. The Timeliness of Duruflé's Requiem --$t5. From the Postwar to the Cold War: Protesting Stravinsky in Postwar France --$tNotes --$tBibliography --$tIndex 330 $aFor the three forces competing for political authority in France during World War II, music became the site of a cultural battle that reflected the war itself. German occupying authorities promoted German music at the expense of French, while the Vichy administration pursued projects of national renewal through culture. Meanwhile, Resistance networks gradually formed to combat German propaganda while eyeing Vichy's efforts with suspicion. In The Musical Legacy of Wartime France, Leslie A. Sprout explores how each of these forces influenced the composition, performance, and reception of five well-known works: the secret Resistance songs of Francis Poulenc and those of Arthur Honegger; Olivier Messiaen's Quartet for the End of Time, composed in a German prisoner of war camp; Maurice Duruflé's Requiem, one of sixty-five pieces commissioned by Vichy between 1940 and 1944; and Igor Stravinsky's Danses concertantes, which was met at its 1945 Paris premiere with protests that prefigured the aesthetic debates of the early Cold War. Sprout examines not only how these pieces were created and disseminated during and just after the war, but also how and why we still associate these pieces with the stories we tell-in textbooks, program notes, liner notes, historical monographs, and biographies-about music, France, and World War II. 410 0$aCalifornia Studies in 20th-Century Music 606 $aMusic$zFrance$y20th century$xHistory and criticism 606 $aWorld War, 1939-1945$xMusic and the war 610 $aaesthetic debates. 610 $aarthur honegger. 610 $aballet. 610 $abeaux arts. 610 $aclassical music. 610 $acultural battle. 610 $aearly cold war. 610 $aengaging. 610 $aentertainment industry. 610 $aeurope. 610 $afrance. 610 $afrancis poulenc. 610 $afrench history. 610 $agerman music. 610 $agerman propaganda. 610 $ahistorical. 610 $ahistory. 610 $ainternational music. 610 $alively. 610 $amaurice durufle. 610 $amusic. 610 $amusical legacy. 610 $aolivier messiaen. 610 $aperforming arts. 610 $apolitical authority. 610 $aprisoner of war camp. 610 $aquartet for the end of time. 610 $arequiem. 610 $aresistance songs. 610 $aretrospective. 610 $arevolutionaries. 610 $asecret resistance. 610 $avichy france. 610 $avichy. 610 $aworld war 2. 615 0$aMusic$xHistory and criticism. 615 0$aWorld War, 1939-1945$xMusic and the war. 676 $a780.944/09044 700 $aSprout$b Leslie A$01570724 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910779756403321 996 $aThe musical legacy of wartime France$93844557 997 $aUNINA