LEADER 03313nam  22007215  450 
001 9910349271103321
005 20251225200530.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,$x2945-9168 ;$v11825
311 08$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,$x2945-9168 ;$v11825
606   $aComputer science
606   $aSoftware engineering
606   $aMachine theory
606   $aElectronic digital computers$xEvaluation
606   $aNatural language processing (Computer science)
606   $aComputer science$xMathematics
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aSystem Performance and Evaluation
606   $aNatural Language Processing (NLP)
606   $aMathematical Applications in Computer Science
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aElectronic digital computers$xEvaluation.
615  0$aNatural language processing (Computer science).
615  0$aComputer science$xMathematics.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aSystem Performance and Evaluation.
615 24$aNatural Language Processing (NLP).
615 24$aMathematical 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