LEADER 03765nam 2200685Ia 450 001 9910956293003321 005 20241001191626.0 010 $a9780674065468 010 $a0674065468 010 $a9780674068544 010 $a0674068548 024 7 $a10.4159/harvard.9780674065468 035 $a(CKB)2560000000082506 035 $a(OCoLC)794003984 035 $a(CaPaEBR)ebrary10568050 035 $a(SSID)ssj0000692709 035 $a(PQKBManifestationID)11405888 035 $a(PQKBTitleCode)TC0000692709 035 $a(PQKBWorkID)10637242 035 $a(PQKB)10782662 035 $a(MiAaPQ)EBC3301106 035 $a(DE-B1597)178212 035 $a(OCoLC)840446587 035 $a(DE-B1597)9780674065468 035 $a(Au-PeEL)EBL3301106 035 $a(CaPaEBR)ebr10568050 035 $a(Perlego)1147982 035 $a(EXLCZ)992560000000082506 100 $a20110922d2012 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aReimagining Europe $eKievan Rus' in the medieval world /$fChristian Raffensperger 210 $aCambridge, Massachusetts $cHarvard University Press$d2012 215 $a1 online resource (340 p.) 225 1 $aHarvard historical studies ;$v177 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a9780674063846 311 08$a0674063848 320 $aIncludes bibliographical references (p.283-321) and index. 327 $tFrontmatter --$tContents --$tIntroduction --$t1. The Byzantine Ideal --$t2. The Ties That Bind --$t3. Russian Dynastic Marriage --$t4. Kiev as a Center of European Trade --$t5. The Micro-Christendom of Rus' --$tConclusion --$tAppendix: Rulers of Rus' --$tNotes --$tBibliography --$tAcknowledgments --$tIndex 330 $aAn overriding assumption has long directed scholarship in both European and Slavic history: that Kievan Rus' in the tenth through twelfth centuries was part of a Byzantine commonwealth separate from Europe. Christian Raffensperger refutes this conception and offers a new frame for two hundred years of history, one in which Rus' is understood as part of medieval Europe and East is not so neatly divided from West.With the aid of Latin sources, the author brings to light the considerable political, religious, marital, and economic ties among European kingdoms, including Rus', restoring a historical record rendered blank by Rusianmonastic chroniclers as well as modern scholars ideologically motivated to build barriers between East and West. Further, Raffensperger revises the concept of a Byzantine Commonwealth that stood in opposition to Europe-and under which Rus' was subsumed-toward that of a Byzantine Ideal esteemed and emulated by all the states of Europe. In this new context, appropriation of Byzantine customs, law, coinage, art, and architecture in both Rus' and Europe can be understood as an attempt to gain legitimacy and prestige by association with the surviving remnant of the Roman Empire. Reimagining Europe initiates an expansion of history that is sure to challenge ideas of Russian exceptionalism and influence the course of European medieval studies. 410 0$aHarvard historical studies ;$vv. 177. 606 $aChristianity$zKyivan Rus 607 $aEurope$xRelations$zKyivan Rus 607 $aKyivan Rus$xCivilization$xByzantine influences 607 $aKyivan Rus$xHistory$y862-1237 607 $aKyivan Rus$xRelations$zEurope 615 0$aChristianity 676 $a947.02 700 $aRaffensperger$b Christian$01666310 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910956293003321 996 $aReimagining Europe$94361192 997 $aUNINA LEADER 03895nam 2200649 a 450 001 9910768173503321 005 20251117051017.0 010 $a3-540-45386-5 024 7 $a10.1007/11871743 035 $a(CKB)1000000000284049 035 $a(SSID)ssj0000320611 035 $a(PQKBManifestationID)11237920 035 $a(PQKBTitleCode)TC0000320611 035 $a(PQKBWorkID)10249708 035 $a(PQKB)11347145 035 $a(DE-He213)978-3-540-45386-4 035 $a(MiAaPQ)EBC3068141 035 $a(PPN)123138590 035 $a(EXLCZ)991000000000284049 100 $a20060822d2006 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aVariations on constants $eflow analysis of sequential and parallel programs /$fMarkus Muller-Olm 205 $a1st ed. 2006. 210 $aBerlin ;$aNew York $cSpringer$d2006 215 $a1 online resource (XIII, 177 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3800 225 1 $aLNCS sublibrary. SL 2, Programming and software engineering 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-45385-7 320 $aIncludes bibliographical references. 327 $a1. Introduction -- 2. A Hierarchy of Constants -- 3. Deciding Constants by Effective Weakest Preconditions -- 4. Limits of Parallel Flow Analysis -- 5. Parallel Flow Graphs -- 6. Non-atomic Execution -- 7. Dependence Traces -- 8. Detecting Copy Constants and Eliminating Faint Code -- 9. Complexity in the Non-atomic Scenario -- 10. Conclusion -- A. A Primer on Constraint-Based Program Analysis. 330 $aProgram analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compilers. Optimal program analysis provides a guarantee about the precision of the computed results. This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem. In order to come to grips with the variants considered, it combines techniques from different areas such as linear algebra, computable ring theory, abstract interpretation, program verification, complexity theory, etc. Combination of techniques is the key to further progress in automatic analysis and constant-propagation allows us to illustrate this point in a theoretical study. After a general overview, the monograph consists of three essentially self-contained parts that can be read independently of each other. These parts study: a hierarchy of constants in sequential programs, inherent limits of flow analysis of parallel programs, and how to overcome these limits by abandoning a classic atomic execution assumption. 410 0$aLecture notes in computer science ;$v3800. 410 0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering. 606 $aParallel programming (Computer science) 606 $aSequential processing (Computer science) 606 $aMathematical constants 606 $aVariables (Mathematics) 606 $aComputer programs$xCorrectness 615 0$aParallel programming (Computer science) 615 0$aSequential processing (Computer science) 615 0$aMathematical constants. 615 0$aVariables (Mathematics) 615 0$aComputer programs$xCorrectness. 676 $a004.21 700 $aMu?ller-Olm$b Markus$00 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768173503321 996 $aVariations on Constants$9772122 997 $aUNINA