Quote: Cyclone has never-NULL pointers (@...) and fat pointers (?...) with run-time checking (e.g., varargs)

Quotation Skeleton

Table 2. Extensions provided by Cyclone to safely … [indicated by '@'] do not require NULL checks @ "Fat" pointers [indicated by '?'] support pointer arithmetic with run-time bounds checking @ Growable regions … help automate the use of tagged unions for … pointers @ Exceptions replace some uses of setjmp …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: Cyclone has growable memory region, tagged union, polymorphism, and exceptions

Related Topics

Topic: dynamic type checking (43 items)
Topic: safe use of pointers (102 items)
Topic: memory management by regions or memory pool (17 items)
Topic: union data type (12 items)