Publication:
Programming Languages and Systems

Simple item page
dc.contributor.author Nobuko Yoshida (editors)
dc.date.accessioned 2023-06-16T01:29:53Z
dc.date.available 2023-06-16T01:29:53Z
dc.date.issued 2021
dc.description DOI: https://doi.org/10.1007/978-3-030-72019-3; License: CC BY; Publisher: Springer
dc.description.abstract This 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.identifier.doi https://doi.org/10.1007/978-3-030-72019-3
dc.identifier.isbn 9783030720193
dc.identifier.uri http://repository.vlu.edu.vn:443/handle/123456789/5389
dc.language.iso en
dc.subject Computer programmingconcurrency theory
dc.subject distributed computer systems
dc.subject formal logic
dc.subject lamdba calculi
dc.subject linguistics
dc.subject logic
dc.subject object-oriented programming
dc.subject parallel processing systems
dc.subject probabilistic programming
dc.subject process calculi
dc.subject process compilers
dc.subject semantics
dc.subject software design
dc.subject software engineering
dc.subject software quality
dc.subject theory
dc.subject types
dc.subject verification and validation
dc.title Programming Languages and Systems
dc.type Resource Types::text::book
dspace.entity.type Publication
oairecerif.author.affiliation #PLACEHOLDER_PARENT_METADATA_VALUE#
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
OAB309.txt
Size:
0 B
Format:
Plain Text
Description:
Download
Collections
Open Access Books - Technology - 2021