LEADER 03733nam  22007215  450 
001 9910349271103321
005 20200706003940.0
010   $a3-030-33636-0
024 7 $a10.1007/978-3-030-33636-3
035   $a(CKB)4100000009606208
035   $a(MiAaPQ)EBC5963144
035   $a(DE-He213)978-3-030-33636-3
035   $a(PPN)25580332X
035   $a(EXLCZ)994100000009606208
100   $a20191019d2019      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aMathematics of Program Construction $e13th International Conference, MPC 2019, Porto, Portugal, October 7?9, 2019, Proceedings /$fedited by Graham Hutton
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (viii, 467 pages) $cillustrations
225 1 $aProgramming and Software Engineering ;$v11825
311   $a3-030-33635-2 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 22 submissions. The papers deal with mathematical principles and techniques for constructing computer programs. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
410  0$aProgramming and Software Engineering ;$v11825
606   $aComputer logic
606   $aSoftware engineering
606   $aMathematical logic
606   $aComputer system failures
606   $aNatural language processing (Computer science)
606   $aComputer science?Mathematics
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049
606   $aNatural Language Processing (NLP)$3https://scigraph.springernature.com/ontologies/product-market-codes/I21040
606   $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044
615  0$aComputer logic.
615  0$aSoftware engineering.
615  0$aMathematical logic.
615  0$aComputer system failures.
615  0$aNatural language processing (Computer science).
615  0$aComputer science?Mathematics.
615 14$aLogics and Meanings of Programs.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aMathematical Logic and Formal Languages.
615 24$aSystem Performance and Evaluation.
615 24$aNatural Language Processing (NLP).
615 24$aMath Applications in Computer Science.
676   $a001.642
676   $a005.10151
702   $aHutton$b Graham$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349271103321
996   $aMathematics of Program Construction$92915783
997   $aUNINA