announcement of ckit

Dave MacQueen <dbm@research.bell-labs.com>
15 Jan 2000 14:41:28 -0500

          From comp.compilers

Related articles
announcement of ckit dbm@research.bell-labs.com (Dave MacQueen) (2000-01-15)
| List of all articles for this month |

From: Dave MacQueen <dbm@research.bell-labs.com>
Newsgroups: comp.compilers
Date: 15 Jan 2000 14:41:28 -0500
Organization: Compilers Central
Keywords: C, tools, available, ML

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


Post a followup to this message

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