LEADER 02897nam  22007093u 450 
001 9910555236003321
005 20230221134427.0
010   $a3-030-99336-1
035   $a(CKB)5860000000038034
035   $aEBL6941372
035   $a(AU-PeEL)EBL6941372
035   $a(MiAaPQ)EBC6941372
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/81585
035   $a(PPN)261518240
035   $a(EXLCZ)995860000000038034
100   $a20220617d2022||||  uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProgramming languages and systems $e31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /$feditor, Ilya Sergey
210   $aCham $cSpringer International Publishing AG$d2022
215   $a1 online resource (xiv, 604 pages) $cillustrations
225 1 $aLecture notes in computer science$vv.13240
300   $aDescription based upon print version of record.
300   $aIncludes author index.
311 1 $a3-030-99335-3 
330   $aThis open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems
410  0$aLecture notes in computer science$v13240.
606   $aComputer programming$vCongresses
606   $aProgramming languages (Electronic computers)$vCongresses
610   $aautomata theory
610   $acomputer programming
610   $acomputer systems
610   $adatabases
610   $adistributed computer systems
610   $adistributed systems
610   $aembedded systems
610   $aformal languages
610   $aformal logic
610   $alinguistics
610   $aontologies
610   $aparallel processing systems
610   $aprogram compilers
610   $aprogramming languages
610   $asemantics
610   $asoftware design
610   $asoftware engineering
610   $asoftware quality
610   $averification
615  0$aComputer programming
615  0$aProgramming languages (Electronic computers)
700   $aSergey$b Ilya$4edt$01239210
701   $aSergey$b Ilya$01239210
801  0$bAU-PeEL
801  1$bAU-PeEL
801  2$bAU-PeEL
906   $aBOOK
912   $a9910555236003321
996   $aProgramming Languages and Systems$92875451
997   $aUNINA