Programming languages and systems : : 31st 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 /

Programming languages and systems : : 31st 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 / / editor, Ilya Sergey.

Show other versions (1)

This 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 vol...

Full description

Saved in:
Bibliographic Details
Superior document:Lecture notes in computer science v.13240
TeilnehmendeR:
Sergey, Ilya.
Year of Publication:2022
Language:English
Series:Lecture notes in computer science 13240.
Physical Description:1 online resource (xiv, 604 pages) :; illustrations.
Notes:
  • Description based upon print version of record.
  • Includes author index.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993544774004498
ctrlnum (CKB)5860000000038034
EBL6941372
(AU-PeEL)EBL6941372
(MiAaPQ)EBC6941372
(oapen)https://directory.doabooks.org/handle/20.500.12854/81585
(PPN)261518240
(EXLCZ)995860000000038034
collection bib_alma
record_format marc
spelling Sergey, Ilya edt
Programming languages and systems : 31st 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 / editor, Ilya Sergey.
Cham : Springer International Publishing AG, 2022.
1 online resource (xiv, 604 pages) : illustrations.
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Lecture notes in computer science v.13240
Description based upon print version of record.
Includes author index.
This 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
English
Computer programming Congresses.
Programming languages (Electronic computers) Congresses.
automata theory
computer programming
computer systems
databases
distributed computer systems
distributed systems
embedded systems
formal languages
formal logic
linguistics
ontologies
parallel processing systems
program compilers
programming languages
semantics
software design
software engineering
software quality
verification
Sergey, Ilya.
3-030-99335-3
Lecture notes in computer science 13240.
language English
format eBook
author2 Sergey, Ilya.
author_facet Sergey, Ilya.
author2_variant i s is
i s is
author2_role TeilnehmendeR
author_sort Sergey, Ilya.
title Programming languages and systems : 31st 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 /
spellingShingle Programming languages and systems : 31st 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 /
Lecture notes in computer science
title_sub 31st 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 /
title_full Programming languages and systems : 31st 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 / editor, Ilya Sergey.
title_fullStr Programming languages and systems : 31st 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 / editor, Ilya Sergey.
title_full_unstemmed Programming languages and systems : 31st 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 / editor, Ilya Sergey.
title_auth Programming languages and systems : 31st 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 /
title_new Programming languages and systems :
title_sort programming languages and systems : 31st 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 /
series Lecture notes in computer science
series2 Lecture notes in computer science
publisher Springer International Publishing AG,
publishDate 2022
physical 1 online resource (xiv, 604 pages) : illustrations.
isbn 3-030-99336-1
3-030-99335-3
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.76 C65
genre_facet Congresses.
illustrated Illustrated
work_keys_str_mv AT sergeyilya programminglanguagesandsystems31steuropeansymposiumonprogrammingesop2022heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2022munichgermanyapril272022proceedings
status_str n
ids_txt_mv (CKB)5860000000038034
EBL6941372
(AU-PeEL)EBL6941372
(MiAaPQ)EBC6941372
(oapen)https://directory.doabooks.org/handle/20.500.12854/81585
(PPN)261518240
(EXLCZ)995860000000038034
carrierType_str_mv cr
hierarchy_parent_title Lecture notes in computer science v.13240
hierarchy_sequence 13240.
is_hierarchy_title Programming languages and systems : 31st 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 /
container_title Lecture notes in computer science v.13240
author2_original_writing_str_mv noLinkedField
_version_ 1796652272153788418
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02723nam a22006493u 4500</leader><controlfield tag="001">993544774004498</controlfield><controlfield tag="005">20230221134427.0</controlfield><controlfield tag="006">m d </controlfield><controlfield tag="007">cr#|n|---|||||</controlfield><controlfield tag="008">220617s2022||||sz a o 101|0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-030-99336-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5860000000038034</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">EBL6941372</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AU-PeEL)EBL6941372</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC6941372</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/81585</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(PPN)261518240</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995860000000038034</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">AU-PeEL</subfield><subfield code="b">eng</subfield><subfield code="c">AU-PeEL</subfield><subfield code="d">AU-PeEL</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.76.C65</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sergey, Ilya</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming languages and systems :</subfield><subfield code="b">31st 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 /</subfield><subfield code="c">editor, Ilya Sergey.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cham :</subfield><subfield code="b">Springer International Publishing AG,</subfield><subfield code="c">2022.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiv, 604 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">v.13240</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based upon print version of record.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes author index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This 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</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">automata theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computer programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computer systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">databases</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">distributed computer systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">distributed systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">embedded systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">linguistics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">ontologies</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">parallel processing systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">program compilers</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">programming languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">semantics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software design</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software engineering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software quality</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">verification</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sergey, Ilya.</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">3-030-99335-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13240.</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-05-20 09:44:49 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2022-04-04 09:22:53 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5337724730004498&amp;Force_direct=true</subfield><subfield code="Z">5337724730004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337724730004498</subfield></datafield></record></collection>

Similar Items