Show simple item record

dc.contributor.editorYoshida, Nobuko
dc.date.accessioned2021-04-20T12:47:40Z
dc.date.available2021-04-20T12:47:40Z
dc.date.issued2021
dc.identifierONIX_20210420_9783030720193_17
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/48221
dc.description.abstractThis open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science; Theoretical Computer Science and General Issues
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: generalen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligenceen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineeringen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineeringen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UT Computer networking and communicationsen_US
dc.subject.otherProgramming Languages, Compilers, Interpreters
dc.subject.otherNatural Language Processing (NLP)
dc.subject.otherSoftware Engineering
dc.subject.otherLogics and Meanings of Programs
dc.subject.otherComputer Systems Organization and Communication Networks
dc.subject.otherCompilers and Interpreters
dc.subject.otherComputer Science Logic and Foundations of Programming
dc.subject.otherComputer Engineering and Networks
dc.subject.othercomputer programming
dc.subject.otherconcurrency theory
dc.subject.otherdistributed computer systems
dc.subject.otherformal logic
dc.subject.otherlamdba calculi
dc.subject.otherlinguistics
dc.subject.otherlogic
dc.subject.otherobject-oriented programming
dc.subject.otherparallel processing systems
dc.subject.otherprobabilistic programming
dc.subject.otherprocess calculi
dc.subject.otherprogram compilers
dc.subject.othersemantics
dc.subject.othersoftware design
dc.subject.othersoftware quality
dc.subject.othertheory
dc.subject.othertypes
dc.subject.otherverification and validation
dc.subject.otherProgramming & scripting languages: general
dc.subject.otherCompilers & interpreters
dc.subject.otherNatural language & machine translation
dc.subject.otherComputer programming / software engineering
dc.subject.otherComputer architecture & logic design
dc.subject.otherComputer networking & communications
dc.titleProgramming Languages and Systems
dc.title.alternative30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-030-72019-3
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedBy78d37288-5df6-4c27-88a4-b5d766b84435
oapen.relation.isbn9783030720193
oapen.imprintSpringer
oapen.series.number12648
oapen.pages693
oapen.grant.number[grantnumber unknown]


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record