LEADER 02895nam  22007093u 450 
001 996464540903316
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   $a996464540903316
996   $aProgramming Languages and Systems$92875451
997   $aUNISA

LEADER 02428oam  2200529M  450 
001 9910715549103321
005 20191121065744.5
035   $a(CKB)5470000002512564
035   $a(OCoLC)1065966662
035   $a(OCoLC)995470000002512564
035   $a(EXLCZ)995470000002512564
100   $a20070221d1832      ua             0
101 0 $aeng
135   $aurcn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIn Senate of the United States, January 9, 1832. -- Submitted for consideration, and ordered to be printed. January 10 -- Made the order of the day for the 11th instant. January 11 -- Considered, and made the order for 16th instant. January 16, 1832 -- Considered, and with the following amendment proposed by Mr. Hayne, ordered to be printed, and made the order of the day for Monday the 23d instant
210  1$a[Washington, D.C.] :$c[publisher not identified],$d1832.
215   $a1 online resource (1 page)
225 1 $aSenate document / 22nd Congress, 1st session. Senate ;$vno. 23
225 1 $a[United States congressional serial set ] ;$v[serial no. 212]
300   $aBatch processed record: Metadata reviewed, not verified. Some fields updated by batch processes.
300   $aFDLP item number not assigned.
606   $aForeign trade promotion
606   $aForeign trade and employment
606   $aImports
606   $aProtectionism
606   $aTariff
608   $aLegislative materials.$2lcgft
615  0$aForeign trade promotion.
615  0$aForeign trade and employment.
615  0$aImports.
615  0$aProtectionism.
615  0$aTariff.
701   $aClay$b Henry$f1777-1852$pAnti-Jackson (KY)$0113524
701   $aHayne$b Robert Young$f1791-1839$pNullifier (SC)$01197316
801  0$bWYU
801  1$bWYU
801  2$bOCLCO
801  2$bOCLCQ
801  2$bOCLCO
801  2$bOCLCQ
906   $aBOOK
912   $a9910715549103321
996   $aIn Senate of the United States, January 9, 1832. -- Submitted for consideration, and ordered to be printed. January 10 -- Made the order of the day for the 11th instant. January 11 -- Considered, and made the order for 16th instant. January 16, 1832 -- Considered, and with the following amendment proposed by Mr. Hayne, ordered to be printed, and made the order of the day for Monday the 23d instant$93510246
997   $aUNINA