Login or Register to Ask a Question and Join Our Community


Software Releases - RSS News

Ivy C compiler 1.0 (Default branch)

Login to Discuss or Reply to this Discussion in Our Community

 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements Software Releases - RSS News Ivy C compiler 1.0 (Default branch)
# 1  
Old 10-15-2008
Ivy C compiler 1.0 (Default branch)
Ivy is a compiler and runtime library for anextended dialect of C that checks type, memory,and concurrency safety. Ivy supports the full Clanguage, and relies on a small number oflightweight annotations in the source code to keeptime and space overheads reasonable. Ivy isimplemented as a C-to-C compiler using gcc as itsbackend.License: BSD License (revised)Changes:
This is the first public release of Ivy. Itincorporates the previously available Deputy(type-safety for C) and HeapSafe(memory-management safety for C) projects. It addsa new component, SharC, which allows you to checkthat your threaded C programs share data as youintended. In particular, it prevents and/ordetects all data races. SharC is in a moreexperimental state and may impose significantruntime overheads in some programs.Image

Image

More...
Login or Register to Ask a Question

Previous Thread | Next Thread
Login or Register to Ask a Question

LEARN ABOUT REDHAT

intro

INTRO(3)						     Linux Programmer's Manual							  INTRO(3)

NAME

       intro - Introduction to library functions

DESCRIPTION

       This  chapter  describes all library functions excluding the library functions described in chapter 2, which implement system calls.  There
       are various function groups which can be identified by a letter which is appended to the chapter number:

       (3C)   These functions, the functions from chapter 2 and from chapter 3S are contained in the C standard library libc, which will  be  used
	      by cc(1) by default.

       (3S)   These functions are parts of the stdio(3) library.  They are contained in the standard C library libc.

       (3M)   These  functions	are contained in the arithmetic library libm.  They are used by the f77(1) FORTRAN compiler by default, but not by
	      the cc(1) C compiler, which needs the option -lm.

       (3F)   These functions are part of the FORTRAN library libF77.  There are no special compiler flags needed to use these functions.

       (3X)   Various special libraries.  The manual pages documenting their functions specify the library names.

AUTHORS

       Look at the header of the manual page for the author(s) and copyright conditions.  Note that these can be different from page to page!

Linux								    1995-12-13								  INTRO(3)