Thông tin tài liệu
| Title: | Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings |
| Authors: | Yoshida, Nobuko |
| Keywords: | ngôn ngữ lập trình; Lập trình hệ thống; Tên miền trừu tượng; Phần mềm máy tính |
| Issue Date: | 2021 |
| Publisher: | springer |
| Abstract: | The Decidability of Verification under PS 2.0. Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. Types for Complexity of Parallel Computation in Pi-Calculus. Checking Robustness Between Weak Transactional Consistency Models. Verified Software Units. An Automated Deductive Verification Framework for Circuit-building Quantum Programs. Nested Session Types. Coupled Relational Symbolic Execution for Differential Privacy... |
| Description: | Ebook miễn phí tại trang: https://library.oapen.org/ |
| URI: | http://dlib.hust.edu.vn/handle/HUST/19809 |
| Link item primary: | https://library.oapen.org/bitstream/20.500.12657/48221/1/9783030720193.pdf |
| Appears in Collections: | OER - Công nghệ thông tin |
ABSTRACTS VIEWS
41
VIEWS & DOWNLOAD
440
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.