| |
 Online-Ressource | |
| Titel: | Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation |
| Mitwirkende: | Donaldson, Alastair F. [MitwirkendeR]  |
| Körperschaft: | ACM SIGPLAN Conference on Programming Language Design and Implementation <41., 2020, Online> [VerfasserIn] |
| Institutionen: | ACM Special Interest Group on Programming Languages [MitwirkendeR] |
| Verlagsort: | New York,NY,United States |
| Verlag: | Association for Computing Machinery |
| Jahr: | 2020 |
| Umfang: | 1 online resource (1174 pages) |
| Gesamttitel/Reihe: | ACM Conferences |
| ACM Digital Library | |
| Fussnoten: | Title from The ACM Digital Library |
| ISBN: | 978-1-4503-7613-6 |
| DOI: | doi:10.1145/3385412 |
| URL: | Verlag: https://dl.acm.org/action/showBook?doi=10.1145/3385412 |
| Zusätzliche Angaben: https://doi.org/10.25798/w775-br35 | |
| DOI: https://doi.org/10.1145/3385412 | |
| Datenträger: | Online-Ressource |
| Dokumenttyp: | Konferenzschrift |
| Sprache: | eng |
| Sach-SW: | Computer science |
| Compilers | |
| Logic and verification | |
| Program analysis | |
| K10plus-PPN: | 1734515279 |
| Lokale URL UB: |  Zum Volltext |
