Digital resources - Ha Noi university of science and technology

Browsing by Subject Tên miền trừu tượng

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 1 of 1

Book

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 (2021)

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...