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.

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 (ngôn ngữ lập trình)|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
 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

Họ ngôn ngữ lập trình C