Publication:
Programming Languages and Systems
Programming Languages and Systems
| dc.contributor.author | Luís Caires (editors) | |
| dc.date.accessioned | 2023-06-14T03:22:22Z | |
| dc.date.available | 2023-06-14T03:22:22Z | |
| dc.date.issued | 2019 | |
| dc.description | DOI: https://doi.org/10.1007/978-3-030-17184-1; License: CC BY; Publisher: Springer | |
| dc.description.abstract | This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. | |
| dc.identifier.doi | https://doi.org/10.1007/978-3-030-17184-1 | |
| dc.identifier.isbn | 9783030171841 | |
| dc.identifier.uri | http://repository.vlu.edu.vn:443/handle/123456789/5172 | |
| dc.language.iso | en | |
| dc.subject | Computer science | |
| dc.subject | formal logic | |
| dc.subject | operational semantics | |
| dc.subject | program compilers | |
| dc.subject | programming languages | |
| dc.subject | software engineering | |
| dc.subject | software evaluation | |
| dc.subject | theory of computation | |
| dc.subject | type systems | |
| dc.subject | verification | |
| 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
1 - 1 of 1