Export citation

Show simple item record

dc.contributor.authorAmal Ahmed*
dc.date.accessioned2021-02-12T00:09:01Z
dc.date.available2021-02-12T00:09:01Z
dc.date.issued2018*
dc.date.submitted2018-06-29 15:05:43*
dc.identifier27228*
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/57149
dc.identifier.pr0*
dc.description.abstractThis book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.*
dc.languageEnglish*
dc.relation.ispartofseriesTheoretical Computer Science and General Issues Series*
dc.subjectQA75.5-76.95*
dc.subject.otherdistributed computer systems*
dc.subject.otherprogram verification*
dc.subject.othersoftware engineering specifications*
dc.subject.othersystems verification*
dc.subject.otherprocessors*
dc.subject.othersemantics*
dc.subject.othertype*
dc.subject.otherprogram compilers*
dc.subject.otherartificial intelligence*
dc.subject.otherformal logic*
dc.subject.otherformal model*
dc.subject.otherjava*
dc.subject.othermodel checking*
dc.subject.othercomputer architecture*
dc.subject.otherseparation logic*
dc.subject.otherprogramming language*
dc.subject.othertheorem proving*
dc.subject.othercomputer software selection and evaluation*
dc.titleProgramming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings*
dc.typebook
oapen.identifier.doihttps://doi.org/10.1007/978-3-319-89884-1*
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a*
virtual.oapen_relation_isPublishedBy.publisher_nameSpringer Nature
virtual.oapen_relation_isPublishedBy.publisher_websitehttp://www.springernature.com/oabooks
oapen.relation.isFundedByf5a6e2e8-e972-4749-980c-33c90a2eec09*
virtual.oapen_relation_isFundedBy.grantor_nameETAPS e.V.
oapen.relation.isbn9783319898841*
oapen.relation.isbn9783319898834*
oapen.pages1058*
oapen.volume10801*


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

https://creativecommons.org/licenses/by/4.0/
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by/4.0/