Publication:
Programming Languages and Systems

Simple item page
dc.contributor.author Amal Ahmed (editors)
dc.date.accessioned 2023-06-14T04:10:13Z
dc.date.available 2023-06-14T04:10:13Z
dc.date.issued 2018
dc.description DOI: https://doi.org/10.1007/978-3-319-89884-1; License: CC BY; Publisher: Springer
dc.description.abstract This open access 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.identifier.doi https://doi.org/10.1007/978-3-319-89884-1
dc.identifier.isbn 9783319898841
dc.identifier.uri http://repository.vlu.edu.vn:443/handle/123456789/5200
dc.language.iso en
dc.subject Artificial intelligence
dc.subject computer architecture
dc.subject computer software selection and evaluation
dc.subject distributed computer systems
dc.subject formal logic
dc.subject formal model
dc.subject java
dc.subject model checking
dc.subject processors
dc.subject program compilers
dc.subject program verification
dc.subject programming language
dc.subject semantics
dc.subject software engineering
dc.subject specifications
dc.subject theorem proving
dc.subject type systems
dc.subject verification
dc.subject open access
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:
OAB215.txt
Size:
0 B
Format:
Plain Text
Description:
Download
Collections
Open Access Books - Technology - 2018