Portal de Periódicos da CAPES

Partial Evaluation for Common Intermediate Language

2004; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-540-39866-0_19

1611-3349

Andrei M. Chepovsky, Andrei V. Klimov, A. V. Klimov, Yuri Andreevich Klimov, Андрей Сергеевич Мищенко, Sergei A. Romanenko, Sergei Yu. Skorobogatov,

Logic, programming, and type systems

Partial Evaluation is a well-established method for specialization of programs in functional languages. However, real-world applications demand specialization of object-oriented languages. With the advent of the Microsoft .NET platform with Common Intermediate Language (CIL), to which multiple languages are compiled, various program analysis and transformation techniques, including partial evaluation, can be developed once for a low-level language rather than over and over again to various high-level languages. The CILPE Project aims at developing a practical specializer for CIL programs based on Partial Evaluation with preliminary analysis referred to as Binding Time Analysis (BTA). The CILPE Specializer partially evaluates operations on values and objects determined by BTA as static. Static objects are created, processed and destroyed at specialization time; they may be mutable and can have some fields unknown (dynamic). Arbitrary verifiable CIL code is allowed as input.