LEADER 04907nam 22009375 450 001 996465855503316 005 20200702014721.0 010 $a1-282-33181-7 010 $a9786612331817 010 $a3-642-03153-6 024 7 $a10.1007/978-3-642-03153-3 035 $a(CKB)1000000000761261 035 $a(EBL)450464 035 $a(OCoLC)437345751 035 $a(SSID)ssj0000301291 035 $a(PQKBManifestationID)11247556 035 $a(PQKBTitleCode)TC0000301291 035 $a(PQKBWorkID)10263941 035 $a(PQKB)10468664 035 $a(DE-He213)978-3-642-03153-3 035 $a(MiAaPQ)EBC450464 035 $a(MiAaPQ)EBC6311834 035 $a(PPN)136310796 035 $a(EXLCZ)991000000000761261 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aLanguage Engineering and Rigorous Software Development$b[electronic resource] $eInternational LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers /$fedited by Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (308 p.) 225 1 $aProgramming and Software Engineering ;$v5520 300 $a"Lecture notes from ... the International Summer School on Language Engineering and Rigorous Software Development"--Pref. 311 $a3-642-03152-8 320 $aIncludes bibliographical references and index. 327 $ato Type Theory -- Dependent Types at Work -- A Tutorial on Type-Based Termination -- Structural Abstract Interpretation: A Formal Study Using Coq -- Extended Static Checking by Calculation Using the Pointfree Transform -- Combinator Parsing: A Short Tutorial. 330 $aThis book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008. The volume presents three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume. Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development. 410 0$aProgramming and Software Engineering ;$v5520 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer simulation 606 $aComputer programming 606 $aManagement information systems 606 $aComputer science 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 608 $aKongress.$2swd 608 $aPiriapolis (2008)$2swd 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer simulation. 615 0$aComputer programming. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSimulation and Modeling. 615 24$aProgramming Techniques. 615 24$aManagement of Computing and Information Systems. 676 $a005.1 686 $aDAT 544f$2stub 686 $aDAT 555f$2stub 686 $aSS 4800$2rvk 702 $aBove$b Ana$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBarbosa$b Luis Soares$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPardo$b Alberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPinto$b Jorge Sousa$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aLerNet ALFA Summer School 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465855503316 996 $aLanguage Engineering and Rigorous Software Development$92832070 997 $aUNISA LEADER 02762 am 2200505 n 450 001 9910495787103321 005 20240104030502.0 010 $a2-7351-2476-2 024 7 $a10.4000/books.editionsmsh.11780 035 $a(CKB)4100000007810526 035 $a(FrMaCLE)OB-editionsmsh-11780 035 $a(PPN)235360716 035 $a(EXLCZ)994100000007810526 100 $a20190313j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 200 00$aDe l?Indus à la Somme$eLes Indiens en France pendant la Grande Guerre$fClaude Markovits 210 $aParis$cÉditions de la Maison des sciences de l?homme$d2018 215 $a1 online resource (272 p.) 311 $a2-7351-2432-0 330 $aParmi les combattants de tous horizons qui passèrent par la France pendant la Première Guerre mondiale figure un important contingent venu de l?Inde britannique, souvent oublié. Connus par les Français comme «?les Hindous?», ces soldats, dont plus de la moitié étaient musulmans ou sikhs, suscitèrent la curiosité des populations par leur port altier, leur allure martiale et leurs uniformes chatoyants. Bien que la plupart n?aient séjourné en France qu?un peu plus d?un an, contribuant à contenir l?avancée allemande au prix de 8 000 morts, leur passage a laissé de nombreuses traces que ce livre tend à faire resurgir. La correspondance échangée avec leurs familles en Inde, dont de larges extraits ont été rassemblés par le contrôle postal britannique, offre un aperçu fascinant sur la manière dont ces hommes perçurent la France et les Français, rare exemple du regard porté par les peuples d?Asie sur les Européens, inversant le point de vue eurocentré. Par ailleurs, ce corpus foisonnant entre en dialogue avec la vision que les Français eurent de ces guerriers venus d?un ailleurs si exotique, et met en lumière les rencontres, l?admiration ou les incompréhensions mutuelles. Manière de connecter deux histoires, celle de l?Inde et celle de la France, entre lesquelles il existe peu de passerelles. 606 $aHistory 606 $aIndia 606 $aFrance 606 $aFirst World War 606 $aIndian troops 606 $aInde 606 $aPremière Guerre mondiale 606 $ahistoire 606 $atroupes indiennes 615 4$aHistory 615 4$aIndia 615 4$aFrance 615 4$aFirst World War 615 4$aIndian troops 615 4$aInde 615 4$aPremière Guerre mondiale 615 4$ahistoire 615 4$atroupes indiennes 700 $aMarkovits$b Claude$0509036 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910495787103321 996 $aDe l?Indus à la Somme$93658719 997 $aUNINA