Applied Implicit Computational Complexity
👁 2 lượt xem↓ 0 lượt tải qua VietLexVietLex bảo vệ quyền riêng tư của bạn — không tracking, không chia sẻ thông tin tải về cho bên thứ ba.
📑 Trích dẫn đầy đủ (citation)
APA-like:
Tác giả chưa xác định. Applied Implicit Computational Complexity. Thesis, HAL - Pháp.
Việt Nam (chuẩn TCVN 5453:1991):
. Applied Implicit Computational Complexity. Thesis. HAL - Pháp. Truy cập từ .
Tóm tắt
Implicit computational complexity (ICC) complements classic complexity theory by developing machine-independent characterizations of complexity classes. The idea is to introduce a restriction, at the level of a programming language, that guarantees every program satisfying the restriction belongs to a particular complexity class. There are several strong motivations for this approach, including that ICC systems drive better understanding of complexity classes, yield natural definitions and proof...