Talk:Cyclone (programming language)

Thanks
Most of this page is a re-edit of the "Cyclone: a safe dialect of C" document. Many thanks to Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney and Yanling Wang for creating great software and great documents to spread the word with.

Never-NULL pointers and arithmatic
From the article:


 * The simple change of * to @ saves the programmer from having to write NULL checks and the operating system from having to trap NULL pointer dereferences. This extra restriction, however, can be a rather large stumbling block for most C programmers, who are used to being able to manipulate their pointers directly with arithmetic. Although this is desirable, it can lead to buffer overflows and other off-by-one-style attacks.

I don't understand the second sentence. If the "extra restriction" it refers to is the fact that never-NULL pointers can't be NULL, what does this have to do with pointer arithmatic? Neilc 01:45, 21 July 2005 (UTC)


 * Pointer-arithmetics is not allowed with never-NULL pointers.

MISRA C
Anyone know how Cyclone compares with MISRA C? --Rebroad 21:00, 27 January 2006 (UTC)
 * MISRA C is a set of guidlines, whereas Cyclone is an entirely new language with safety from the ground up -- LiteStar Litestar (talk) 15:36, 14 February 2008 (UTC)

Although ...
What does 'although' mean in the following sentence?
 * Although Cyclone looks, in general, much like C, it should be thought of as a C-like language.

JadeNB (talk) 21:35, 2 July 2008 (UTC)
 * although means that even if it resembles C, thus looks almost like C, it's considered a seperate language and should be thought of as a C-like language. I'm non-native, hence I might have gotten it wrong ... 220.142.130.173 (talk) 20:43, 29 December 2008 (UTC)

External links modified
Hello fellow Wikipedians,

I have just modified one external link on Cyclone (programming language). Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
 * Added tag to http://math.ifi.uzh.ch/fedora/5/i386/SRPMS.gemi/cyclone-1.0-1.src.rpm
 * Added archive https://web.archive.org/web/20110607170455/http://www.cs.kent.ac.uk/people/staff/rej/morrisett-4.2.03.ppt to http://www.cs.kent.ac.uk/people/staff/rej/morrisett-4.2.03.ppt

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

Cheers.— InternetArchiveBot  (Report bug) 00:47, 16 August 2017 (UTC)