| C. Consel, L. Hornof, F. Noel, and E.N. Volanschi. A uniform approach to compile-time and run-time specialization. In Proceedings of the 1996 Dagstuhl Workshop on Partial Evaluation, Germany, February 1996. |
....call that contains file access synchronization code. To support methodical specialization, we have been developing a toolkit that helps the kernel programmer in the tedious but important task of making specialized modules correct. For example, we have developed a specializer (called Tempo C) [2, 1] for dynamic partial evaluation of C code, to simplify program optimization. We are also implementing a guard checker, a program that detects all the locations where quasi invariants may be invalidated (assuming that the kernel code does not contain arbitrary pointer arithmetic, which may touch ....
C. Consel, L. Hornof, F. Noel, and E.N. Volanschi. A uniform approach to compile-time and run-time specialization. In Proceedings of the 1996 Dagstuhl Workshop on Partial Evaluation, Germany, February 1996.
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