LEADER 03760nam 22006855 450 001 996465760403316 005 20200706022039.0 010 $a3-540-69539-7 024 7 $a10.1007/BFb0027453 035 $a(CKB)1000000000234702 035 $a(SSID)ssj0000324932 035 $a(PQKBManifestationID)11268448 035 $a(PQKBTitleCode)TC0000324932 035 $a(PQKBWorkID)10320520 035 $a(PQKB)11488332 035 $a(DE-He213)978-3-540-69539-4 035 $a(PPN)155196626 035 $a(EXLCZ)991000000000234702 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModular Compiler Verification$b[electronic resource] $eA Refinement-Algebraic Approach Advocating Stepwise Abstraction /$fby Markus Müller-Olm 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (XVI, 260 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1283 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-63406-1 327 $aComplete Boolean lattices -- Galois connections -- States, valuation functions and predicates -- The algebra of commands -- Communication and time -- Data refinement -- Transputer base model -- A small hard real-time programming language -- A hierarchy of views -- Compiling-correctness relations -- Translation theorems -- A functional implementation -- Conclusion. 330 $aThis book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1283 606 $aProgramming languages (Electronic computers) 606 $aArchitecture, Computer 606 $aSoftware engineering 606 $aComputer logic 606 $aSpecial purpose computers 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 615 0$aProgramming languages (Electronic computers). 615 0$aArchitecture, Computer. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aSpecial purpose computers. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer System Implementation. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a005.4/53 700 $aMüller-Olm$b Markus$4aut$4http://id.loc.gov/vocabulary/relators/aut$0508822 906 $aBOOK 912 $a996465760403316 996 $aModular compiler verification$91489174 997 $aUNISA LEADER 05704nam 2200913 450 001 9910554837403321 005 20220408143516.0 010 $a1-119-19389-3 010 $a1-119-19380-X 010 $a1-119-19381-8 035 $a(CKB)4330000000009278 035 $a(MiAaPQ)EBC6123274 035 $a(PPN)249890550 035 $a(OCoLC)1119741271 035 $a(EXLCZ)994330000000009278 100 $a20200421d2020 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 02$aA companion to ancient Near Eastern languages /$fedited by Rebecca Hasselbach-Andee 205 $aFirst edition. 210 1$aHoboken, NJ :$cWiley Blackwell,$d2020. 215 $a1 online resource (563 pages) 225 1 $aBlackwell Companions to the Ancient World 311 08$aPrint version: 1-119-19329-X 9781119193296 (DLC) 2019040988 320 $aIncludes bibliographical references and index. 327 $aPart I: Writing systems: 1. The Decipherment of Ancient Near Eastern Languages / Peter T. Daniels -- 2. The Emergence of Cuneiform Writing / Christopher Woods -- 3. The Development of Egyptian Writing in the fourth and early third millennium BCE / Ludwig Morenz -- 4. The Emergence of Alphabetic Scripts / Christopher Rollston -- Part II: Ancient Near Eastern Languages: 5. Sumerian / Piotr Michalowski -- 6. Egyptian / Matthias Mu?ller -- 7. Akkadian / Rebecca Hasselbach-Andee -- 8. Eblaite / Amalia Catagnoti -- 9. Elamite / Jan Tavernier -- 10. Amorite / Viktor Golinets -- 11. Hurrian / Dennis R.M. Campbell -- 12. Hittite / Ilya Yakubovich -- 13. Luwian / Craig Melchert -- 14. Ugaritic / Robert Hawley -- 15. Pre- and Post-Exilic Hebrew / Seth Sanders -- 16. Phoenician / Franc?oise Briquel Chatonnet -- 17. Old and Imperial Aramaic / Christian Stadel -- 18. Ancient South Arabian / Peter Stein -- Part III: Ancient Near Eastern Languages used as administrative languages or linguae francae: 19. Akkadian as a Lingua Franca / Juan-Pablo Vita -- 20. Aramaic as Lingua Franca / Margaretha Folmer -- Part IV: Language Contact in the Ancient Near East: 21. Sumerian and Akkadian Language Contact / C. Jay Crisostomo -- 22. Language contact of Ancient Egyptian with Semitic and other Near Eastern Languages / Thomas Schneider -- 23. Hebrew and Aramaic in Contact / Aaron Koller -- 24. Multilingualism and Diglossia in the Ancient Near East / Rebecca Hasselbach-Andee -- Part V: The development of literary languages and literary contact: 25. Standard Babylonian / Christian W. Hess -- 26. Standardization in Egyptian / Antonio Loprieno -- 27. The "Influence" of Sumerian on Hittite Literature / Mark Weeden -- 28. Ancient Near Eastern Literary Influences on Hebrew Literature and the Hebrew Bible / Michael Wingert 330 $a"The current volume serves as an introduction to a representative sample of Ancient Near Eastern languages and language families attested during the time period of roughly 3200 BCE to the second century CE. This time-frame reflects the time from the beginning of writing (around 3200 BCE) to the end of cuneiform writing in the second century CE. The geographical scope selected reaches from Egypt through the Levant, Anatolia, northern Syria, Mesopotamia, all the way to southern Arabia and thus reflects all major cultures attested in the Ancient Near East during this time period. Although it was impossible to include a description of all languages attested in this wide geographical area throughout more than three millennia due to limitations in space, at least most language families are represented, such as Egyptian, Sumerian, Semitic, Indo-European, Elamite, and Hurrian"--$cProvided by publisher. 410 0$aBlackwell companions to the ancient world. 606 $aLlengües mortes$2thub 606 $aLlenguatge i llengües$2thub 606 $aHistòria$2thub 606 $aExtinct languages$zMiddle East 606 $aExtinct languages$zIraq 606 $aExtinct languages$zEgypt 606 $aExtinct languages$zAksum (Kingdom) 606 $aExtinct languages$2fast$3(OCoLC)fst00918965 606 $aLanguage and languages$2fast$3(OCoLC)fst00992154 606 $3(FrPBN)12066237$aLangues mortes$3(FrPBN)11941591$zMoyen-Orient$2ram 606 $3(FrPBN)12066237$aLangues mortes$3(FrPBN)11934242$zIrak$2ram 606 $3(FrPBN)11935369$aE?gyptien ancien (langue)$2ram 606 $3(FrPBN)12066237$aLangues mortes$3(FrPBN)12098172$zAksoum (Royaume)$2ram 607 $aOrient Mitjà$2thub 607 $aIraq$2thub 607 $aEgipte$2thub 607 $aIraq$xLanguages 607 $aEgypt$xLanguages 607 $aAksum (Kingdom)$xLanguages 607 $aMiddle East$xLanguages$xHistory 607 $aAsia$zAksum (Kingdom)$2fast 607 $aEgypt$2fast 607 $aIraq$2fast 607 $aMiddle East$2fast 608 $aLlibres electrònics$2thub 608 $aHistory.$2fast 615 7$aLlengües mortes 615 7$aLlenguatge i llengües 615 7$aHistòria 615 0$aExtinct languages 615 0$aExtinct languages 615 0$aExtinct languages 615 0$aExtinct languages 615 7$aExtinct languages. 615 7$aLanguage and languages. 615 7$aLangues mortes 615 7$aLangues mortes 615 7$aE?gyptien ancien (langue) 615 7$aLangues mortes 676 $a409.394 702 $aHasselbach$b Rebecca 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910554837403321 996 $aCompanion to Ancient Near Eastern Languages$93904383 997 $aUNINA