LEADER 04881nam 22009375 450 001 9910484563503321 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 $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 $a9910484563503321 996 $aLanguage Engineering and Rigorous Software Development$92832070 997 $aUNINA