Ckit. http://cm.bell-labs.com/cm/cs/what/ smlnj/doc/ckit/. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Debugging via Run-Time Type Checking - Alexey Loginov Suan (2001) (20 citations) (Correct)
....before it is dereferenced, and a set of procedures to handle the passing of function parameters and return values (processArgTag and processReturn) 3. 2 Source Level Instrumentation To instrument a program, the tool performs a source to source transformation on the C source files using Ckit[5], a C front end written in ML. Working at the source level gives the tool access to all the source level type information it needs. Also, the flexibility of the comma operator in C makes it possible to preserve the ANSI C semantics of the original program while retaining portability: an ....
Ckit. http://cm.bell-labs.com/cm/cs/what/ smlnj/doc/ckit/.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC