LEADER 05543nam 2200685 a 450 001 9910791910803321 005 20200520144314.0 010 $a1-283-57450-0 010 $a9786613886958 010 $a90-272-7285-9 035 $a(CKB)2560000000091058 035 $a(EBL)999553 035 $a(OCoLC)811490653 035 $a(SSID)ssj0000883915 035 $a(PQKBManifestationID)11521177 035 $a(PQKBTitleCode)TC0000883915 035 $a(PQKBWorkID)10943486 035 $a(PQKB)11424154 035 $a(MiAaPQ)EBC999553 035 $a(Au-PeEL)EBL999553 035 $a(CaPaEBR)ebr10593811 035 $a(CaONFJC)MIL388695 035 $a(PPN)243815611 035 $a(EXLCZ)992560000000091058 100 $a19950119d1994 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe unaccented vowels of Proto-Norse$b[electronic resource] /$fMartin Syrett 210 $a[Odense] $cOdense University Press$d1994 215 $a1 online resource (327 p.) 225 0$aNorth-Western European language evolution.$pSupplement,$x0900-8675 ;$vv. 11 300 $aDescription based upon print version of record. 311 $a87-7838-049-9 320 $aIncludes bibliographical references (p. 299-323). 327 $aTHE UNACCENTED VOWELS OF PROTO-NORSE; Editorial page; Title page; Acknowledgements; Table of contents; 0. INTRODUCTION; 1. QUESTIONS OF METHOD AND THE NATURE OF THE EVIDENCE; 1.0. The sources of evidence; 1.1. Comparative evidence; 1.1.1. Backwards reconstruction; 1.1.2. Forwards reconstruction; 1.1.3. Sideways reconstruction; 1.1.4. Reconstruction at work.; 1.1.5. Philology and theoretical linguistics.; 1.2. Runic evidence; 1.2.1. The older runic inscriptions; 1.2.1.1. Runic orthography; 1.2.1.2. The chronology of the inscriptions.; 1.2.1.2.1. Reasons for (not) dating runic inscriptions. 327 $a1.2.1.2.2. Archaeology and chronology.1.2.2. The later runic tradition.; 1.2.3. Sources.; 1.3. Other types of evidence; 2. THE RECONSTRUCTION OF PROTO-NORSE; 2.1. Terminology and the scope of the corpus; 2.1.1. The urnordisch koine.; 2.1.2. Traces of dialectal divisions.; 2.1.3. The graphemic ~ phonemic fit.; 2.2. The urnordisch unaccented vowel system; 2.2.1. A morphological analysis of the data.; 2.2.2. The long and short of it.; 2.2.3. The independence of the unstressed vowel system.; 3. NOMINAL SHORT STEM VOWELS IN FINAL SYLLABLES; 3.0. The background 327 $a3.1. The nominative sg. of masculine a,-stems3.1.1. Some more awkward forms.; 3.1.2. Clashes with comparative evidence.; 3.1.3. Word-formational types; 3.1.4. Conclusion; 3.2. The accusative sg. of masculine a-stem substantives; 3.3. The genitive sg. of masculine a-stems; 3.4. The accusative pl of masculine a-stems; 3.5. The dative pl. of masculine a-sterns; 3.6. The nominative and accusative sg. of neuter a-stems; 3.7. The nominative sg. of masculine and feminine i-stems; 3.8. The accusative sg. of masculine and feminine i-stems; 3.9. The nominative sg. of masculine and feminine u-sterns 327 $a3.10. The accusative sg. of masculine and feminine u-stems3.11. The nominative and accusative sg. of neuter u-stems; 3.12. The nominative sg. of feminine o?-stems; 3.12.1. Finally, some etymology.; 3.13. The nominative pl. of consonant stems; 3.14. Urnordisch forms lacking stem vowels; 3.14.1. Non-Scandinavian Germanic dialects attested in the inscriptions.; 3.14.2. Putative vocatives.; 3.14.3. Athematic nouns.; 3.14.4. Conclusion.; 4. NOMINAL STEM VOWELS IN COMPOSITIONAL SYLLABLES; 4.0. The background; 4.1. Substantive a sterns as first element; 4.2. Substantive ja-stems as first element 327 $a4.3. Substantive i-stems as first element4.4. Substantive u-sterns as first element; 4.5. Substantive o?-stems as first element; 4.6. Substantive s-stems as first element; 4.7. Adjectives as first element; 4.7.1. The 'ginn-' element; 4.8. Verbs as first element; 4.9. The 'woe' prefix; 4.10. Concluding remarks on compositional syllables; 5. NOMINAL LONG STEM VOWELS IN FINAL SYLLABLES; 5.0. Introduction; 5.1. The masculine a-stem substantival dat.sg.; 5.1.1. The case for the diphthongs.; 5.1.2. The etymological case.; 5.2. The masculinea-stem adjectival nom.pl. 327 $a5.2.1. A North Germanic diagnostic feature? 330 $aThe Unaccented Vowels of Proto-Norse attempts to analyse the unaccented vowel system attested in the proto-Norse period, as partially attested in the older runic inscriptions in the elder futhark. Each chapter in turn assesses the evidence for unaccented syllables of a particular category, whether inflectional or derivational, and decides whether any reliable conclusions can be drawn from it. It is argued that too many widely accepted views are based on insufficient and poor methodology, and that too little note has been taken of the fact that viable alternatives exist alongside most of 410 0$aNOWELE Supplement Series 606 $aOld Norse language$xVowels 606 $aOld Norse language$xPhonology, Historical 606 $aInscriptions, Runic 615 0$aOld Norse language$xVowels. 615 0$aOld Norse language$xPhonology, Historical. 615 0$aInscriptions, Runic. 676 $a439.82 700 $aSyrett$b Martin$01544412 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910791910803321 996 $aThe unaccented vowels of Proto-Norse$93798622 997 $aUNINA LEADER 05271nam 22007695 450 001 9910767528503321 005 20251226203400.0 010 $a1-280-86571-7 010 $a9786610865710 010 $a3-540-70889-8 024 7 $a10.1007/978-3-540-70889-6 035 $a(CKB)1000000000284104 035 $a(SSID)ssj0000298360 035 $a(PQKBManifestationID)11214956 035 $a(PQKBTitleCode)TC0000298360 035 $a(PQKBWorkID)10344520 035 $a(PQKB)10239305 035 $a(DE-He213)978-3-540-70889-6 035 $a(MiAaPQ)EBC3036669 035 $a(MiAaPQ)EBC302092 035 $a(MiAaPQ)EBC6711210 035 $a(Au-PeEL)EBL302092 035 $a(OCoLC)185027065 035 $a(Au-PeEL)EBL6711210 035 $a(PPN)123160278 035 $a(EXLCZ)991000000000284104 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHardware and Software, Verification and Testing $eSecond International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers /$fedited by Eyal Bin, Avi Ziv, Shmuel Ur 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XII, 235 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4383 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-70888-X 320 $aIncludes bibliographical references and index. 327 $aHardware Verification Track -- Model Checking PSL Using HOL and SMV -- Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation -- Extracting a Simplified View of Design Functionality Based on Vector Simulation -- Automatic Fault Localization for Property Checking -- Verification of Data Paths Using Unbounded Integers: Automata Strike Back -- Tools Track -- Smart-Lint: Improving the Verification Flow -- Model-Driven Development with the jABC -- Detecting Design Flaws in UML State Charts for Embedded Software -- A Panel: Unpaved Road Between Hardware Verification and Software Testing Techniques -- An Open Source Simulation Model of Software Development and Testing -- Software Testing Track -- ExpliSAT: Guiding SAT-Based Software Verification with Explicit States -- Evolutionary Testing: A Case Study -- A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs -- Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise -- Testing the Machine in the World -- Choosing a Test Modeling Language: A Survey -- Making Model-Based Testing More Agile: A Use Case Driven Approach. 330 $aThe Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23?26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL. This Haifa Verification Conference was established to bring together researchers from two different disciplines, hardware verification and software testing. The use of similar techniques among the two communities enabled the conference to help generate a unique synergy that fortifies both groups. This year, we had two traditional tracks, hardware verification and software testing, in addition to a new track dedicated to tools in these areas. The conference emphasized applicability to real-world challenges, which was vital to the many attendees coming from industry. The conference hosted two internationally recognized individuals as keynote speakers. Randal E. Bryant, Dean and University Professor from the School of Computer Science at Carnegie Mellon University gave a talk on ?System Modeling and Formal Verification with UCLID? and Michael Jackson from the University of Newcastle gave a talk on ?Testing the Machine in the World. ? The numerous invited speakers presented topics of great interest to the audience. Just some of these outstanding speakers included Cindy Eisner in the hardware verification track, Alon Gluska and Andrew Piziali in the tools track, and Mauro Pezze and Nir Shavit in the software testing track. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4383 606 $aSoftware engineering 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 676 $a004 702 $aBin$b Eyal 702 $aZiv$b Avi 702 $aUr$b Shmuel 712 12$aInternational Haifa Verification Conference 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910767528503321 996 $aHardware and Software, Verification and Testing$9772242 997 $aUNINA