Show simple item record

Programming Languages and Systems

29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

dc.contributor.editorMüller, Peter
dc.date.accessioned2020-05-13T14:21:46Z
dc.date.available2020-05-13T14:21:46Z
dc.date.issued2020
dc.identifierONIX_20200513_9783030449148_21
dc.identifierOCN: 1152157730
dc.identifier.urihttp://library.oapen.org/handle/20.500.12657/37721
dc.description.abstractThis open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers 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::UT Computer networking and communicationsen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structuresen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translationen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer scienceen_US
dc.subject.otherProgramming Languages, Compilers, Interpreters
dc.subject.otherComputer Systems Organization and Communication Networks
dc.subject.otherControl Structures and Microprogramming
dc.subject.otherInformation Systems and Communication Service
dc.subject.otherNatural Language Processing (NLP)
dc.subject.otherTheory of Computation
dc.subject.otherartificial intelligence
dc.subject.othercomputer networks
dc.subject.othercomputer programming
dc.subject.othercomputer security
dc.subject.otherdistributed computer systems
dc.subject.otherembedded systems
dc.subject.otherformal languages
dc.subject.otherformal logic
dc.subject.otherlinguistics
dc.subject.othermathematics
dc.subject.othermodel checking
dc.subject.otherobject-oriented programming
dc.subject.otherparallel processing systems
dc.subject.otherprogram compilers
dc.subject.othersemantics
dc.subject.othersoftware architecture
dc.subject.othersoftware design
dc.subject.othersoftware engineering
dc.subject.othersoftware quality
dc.subject.otherverification and validation
dc.subject.otherProgramming & scripting languages: general
dc.subject.otherCompilers & interpreters
dc.subject.otherComputer networking & communications
dc.subject.otherAlgorithms & data structures
dc.subject.otherNatural language & machine translation
dc.subject.otherComputer science
dc.subject.otherMathematical theory of computation
dc.titleProgramming Languages and Systems
dc.title.alternative29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-030-44914-8
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.imprintSpringer
oapen.series.number12075
oapen.pages772
oapen.place.publicationCham


Files in this item

Thumbnail
Name:
2020_Book_ProgrammingLanguages ...
Size:
9.727Mb
Format:
PDF
License:
http://creativecommons.org/lic ...
Webshop link:
https://www.springer.com/97830 ...
View/Open

This item appears in the following Collection(s)

Show simple item record