|announcement of ckit firstname.lastname@example.org (Dave MacQueen) (2000-01-15)|
|From:||Dave MacQueen <email@example.com>|
|Date:||15 Jan 2000 14:41:28 -0500|
|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
The second beta-release of the ckit software is available at:
Contact address (including bug reports): firstname.lastname@example.org.
Check the URL above for current status and updates.
Nevin Heintze <email@example.com>
Dino Oliva <firstname.lastname@example.org>
Dave MacQueen <email@example.com>
Room 2C-480, Bell Labs, 600 Mountain Ave, Murray Hill, NJ 07974
Return to the
Search the comp.compilers archives again.