Programming Languages and Systems

Loại tài liệu: Tài liệu số - Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin

Tác giả: Caires, Luís

Nhà xuất bản: Springer open

Năm xuất bản: 2019

Tải ứng dụng tại các liên kết sau để xem đầy đủ tài liệu.

Tóm tắt nội dung

Tín dụng thời gian xác minh chương trình và biên lai thời gian trong Iris. Meta-FI: Tự động hóa bằng chứng với SMT, Tactics và Metaprograms. Lý luận bán tự động về tính không xác định trong biểu thức C. Codata thiết kế ngôn ngữ đang hoạt động. Soạn thảo các chương trình hai chiều một cách đơn điệu. Ngữ nghĩa của chương trình, Cuộc gọi theo giá trị đẩy mở rộng: Lý do về các chương trình hiệu quả và thứ tự đánh giá. Các kiểu xử lý hiệu ứng đại số đa hình. Bảo mật và tính toán gia tăng Biên dịch an toàn mạnh mẽ. Đồng thời và phân phối Các loại phiên được tính thời gian không đồng bộ: Từ tính kép đến các quy trình nhạy cảm với thời gian. Phân tích chương trình và chạy đua dữ liệu xác minh tự động cũng như phân tích tĩnh cho hạt nhân điều khiển gián đoạn.

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.

Ngôn ngữ:En
Tác giả:Caires, Luís
Thông tin nhan đề:Programming Languages and Systems
Nhà xuất bản:Springer open
Loại hình:Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin
Bản quyền:https://creativecommons.org/licenses/by/4.0/
Nguồn gốc:https://library.oapen.org/handle/20.500.12657/23330#https://library.oapen.org/handle/20.500.12657/23330#about-this-book
Mô tả vật lý:820p.
Năm xuất bản:2019

Sử dụng ứng dụng Libol Bookworm quét QRCode này để mượn và đọc tài liệu)

(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "Libol Bookworm”)