ckit is a C front end written in SML that translates CProgrammingLanguage source code (after preprocessing) into abstract syntax represented as a set of SML datatypes. It 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 front end for a variety of tools for StaticAnalysis of C code and at least one DomainSpecificLanguage. 

*Resources* 

	* http://cm.bell-labs.com/cm/cs/what/smlnj/doc/ckit/
	* ftp://ftp.research.bell-labs.com/dist/smlnj/packages/ckit-1.0.tar.gz 


-- Main.EelcoVisser - 02 Jan 2002 

-----
CategorySystem