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.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
A Specialization Toolkit to Increase the Diversity in.. - Pu, Black, Cowan.. (1996)   (7 citations)  Self-citation (Consel)   (Correct)

....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