announcement of ckit

We're pleased to announce the availability of ckit, a C frontend
written in SML that translates C source code (after preprocessing)
into abstract syntax represented as a set of SML datatypes. Ckit also
provides facilities for extending the C language with additional
syntactic constructs, which can be useful for implementing "C-like"
domain-specific languages as well as C dialects.


Ckit is currently used as the frontend for domain-specific languages
and for a variety of tools for static analysis of C code.


Documentation is still rudimentary at this point. There is an
overview file (doc/overview.html) explaining how to get started,
and the signatures of the major components are commented.


The ckit web page is


    http://cm.bell-labs.com/cm/cs/what/smlnj/doc/ckit/index.html


The second beta-release of the ckit software is available at:


    ftp://ftp.research.bell-labs.com/dist/smlnj/packages/ckit-1.0b2.tar.gz


Contact address (including bug reports): ckit@research.bell-labs.com.
Check the URL above for current status and updates.


    Nevin Heintze <nch@research.bell-labs.com>
    Dino Oliva <oliva@research.nj.nec.com>
    Dave MacQueen <dbm@research.bell-labs.com>


--
Dave MacQueen
macqueen@research.bell-labs.com
Room 2C-480, Bell Labs, 600 Mountain Ave, Murray Hill, NJ 07974

Return to the comp.compilers page.
Search the comp.compilers archives again.