Fragmental Specialization
نویسندگان
چکیده
Traditional offline program specialization relies on staging of a computation into two levels, static and dynamic. We present a generalization thereof where the static input data of one level is split up in a potentially unknown number of separate fragments. These fragments arrive in an unspecified order and are specialized as they arrive. Potential applications of the technique include separate compilation via specialization, efficient implementation of reflective languages, and just-in-time compilation. We have implemented our new specialization technique in the PGG specialization system [27] for Scheme. We have proved correctness for a first-order fragment.
منابع مشابه
Radioadaptation of small mammals in the East Urals radioactive trace (Kyshtym accident): 50 years on
The East Urals Radioactive Trace (EURT) zone has appeared in the result of Kyshtym Accident (1957), which took place in the Urals, Russia. This event is usually considered as one of the most huge catastrophes in the world nuclear industry practice. Large-scale radioecological researches (after Kyshtym and Chernobyl accidents) lead to revealing the phenomenon of radioadaptation (Cherezhanova and...
متن کاملPetrology and Stratigraphy of the Fra Mauro Formation at the Apollo
The Apollo 14 rocks returned to ear th a re divisible into two broad groups: relatively hoinogeneous crystalline rocks and fragmental rocks (breccias). The crystalline rocks are, for the most par t , metaclastic, but a few, including the second largest sample returned, a re aphyric basalts. All of the crystalline rocks a re considered to be clasts dislodged from fragmental rocks. These fragment...
متن کاملModulation of fragmental charge transfer via hydrogen bonds. Direct measurement of electronic contributions.
Hydrogen bonds play an important role in an overwhelming variety of fields from biology to surface and supramolecular chemistry. The term "hydrogen bond" refers to a wide range of interactions with various covalent and polar contributions. In particular, hydrogen bonds have an important role in the folding and packing of peptides and nucleic acids. Recent studies also point to the importance of...
متن کاملA Perfect Specialization Model for Gravity Equation in Bilateral Trade based on Production Structure
Although initially originated as a totally empirical relationship to explain the volume of trade between two partners, gravity equation has been the focus of several theoretic models that try to explain it. Specialization models are of great importance in providing a solid theoretic ground for gravity equation in bilateral trade. Some research papers try to improve specialization models by addi...
متن کاملPrediction of a suitable mobile phase composition in reversed-phase high-performance liquid chromatography using fragmental constants
An expert system is described that proposes an optimal mobile phase composition in reversed-phase high-performance liquid chromatography. This is achieved by predicting the retention index of the compound of interest from fragmental constants. Using a calibration line, set up with reference compounds, it is possible to infer from the retention index the percentage of organic modifier in the mob...
متن کامل