Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Caires, Luís | vi |
| dc.date.accessioned | 2021-08-15T08:55:43Z | - |
| dc.date.available | 2021-08-15T08:55:43Z | - |
| dc.date.issued | 2019 | - |
| dc.identifier.other | OER000001014 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/19117 | - |
| dc.description | Ebook miễn phí tại trang https://library.oapen.org/ | vi |
| dc.description.abstract | Program Verification Time Credits and Time Receipts in Iris . Meta-FI: Proof Automation with SMT, Tactics, and Metaprograms. Semi-automated Reasoning About Non-determinism in C Expressions. Language Design Codata in Action. Composing Bidirectional Programs Monadically. Program Semantics, Extended call-by-push-value: Reasoning About Effectful Programs and Evaluation Order. Types Handling Polymorphic Algebraic Effects. Security and Incremental Computation Robustly Safe Compilation. Concurrency and Distribution Asynchronous Timed Session Types: From Duality to Time-Sensitive Processes. Program Analysis and Automated Verification Data Races and Static Analysis for Interrupt-Driven Kernels. | vi |
| dc.description.uri | https://library.oapen.org/bitstream/20.500.12657/23330/1/1006825.pdf | vi |
| dc.format | vi | |
| dc.language.iso | en | vi |
| dc.publisher | springer open | vi |
| dc.subject | ngôn ngữ lập trình | vi |
| dc.subject | lập trình máy tính | vi |
| dc.subject | chương trình máy tính | vi |
| dc.subject | hệ thống lập trình | vi |
| dc.subject.lcc | QA76.73 | vi |
| dc.title | Programming Languages and Systems | vi |
| dc.type | Book | vi |
| Appears in Collections: | OER - Công nghệ thông tin | |
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.