Cyclone (ngôn ngữ lập trình)

Ngôn ngữ lập trình Cyclone ra đời như một dự định phương ngữ an toàn hơn của ngôn ngữ C. Cyclone được thiết kế để tránh lỗi tràn bộ nhớ đệm và các lỗ hổng khác có thể xảy ra trong chương trình C mà không làm mất đi sức mạnh và sự tiện lợi của C như là một công cụ cho lập trình hệ thống.

Cyclone

Thiết kế bởi	AT&T Labs
Xuất hiện lần đầu	2002 (2002)
Phiên bản cuối cùng	1.0 / 8 tháng 5 năm 2006; 19 năm trước (2006-05-08)
Trang mạng	cyclone.thelanguage.org
Ảnh hưởng từ
C
Ảnh hưởng tới
Rust

Quá trình phát triển Cyclone bắt đầu như là một dự án chung của AT&T Labs Research và nhóm của Greg Morrisett tại Cornell vào năm 2001. Phiên bản 1.0 được phát hành vào ngày 8 tháng 5 năm 2006.

Tính năng ngôn ngữ

Cyclone cố gắng tránh một số cạm bẫy phổ biến của C trong khi vẫn duy trì cấu trúc và hiệu suất của nó. Để đạt được điều này, Cyclone đặt ra các giới hạn sau cho chương trình:

• Kiểm tra NULL được chèn để ngăn ngừa lỗi phân đoạn (segmentation fault)
• Số học con trỏ bị giới hạn

Xem thêm

• C
• ML
• Rust

Tham khảo

• Cyclone User Manual
• Cyclone: a Type-safe Dialect of C by Dan Grossman, Michael Hicks, Trevor Jim, and Greg Morrisett - published January 2005

Liên kết ngoài

• Cyclone Homepage
• Old web site since official web site is not available.
• Cyclone 1.0 source code RPM^{[liên kết hỏng]}
• Cyclone - Source code repositories
• Cyclone - FAQ
• Cyclone for C programmers

Thuyết trình:

• Cyclone: A Type-Safe Dialect of C
• Cyclone: A Memory-Safe C-Level Programming Language