Instruction selection (mapping IR trees to machine instructions) can be expressed by means of rewrite rules. Typically, such sets of rewrite rules are highly ambiguous. Therefore, standard rewriting engines based on fixed, exhaustive strategies are not appropriate for the execution of instruction selection. Code generator generators use special purpose implementations employing dynamic programm...

This paper discusses the parallelisation and performance tuning of a typical computer algebra algorithm, LinSolv, using evaluation strategies. We present three steps in the parallelisation process starting with a naive parallel version. As this algorithm uses innnite data structures as intermediate values it is necessary to deene very sophisticated strategies in order to improve parallel perfor...

For fusion reactor design study, a maneuverable design tool of superconductor (SC) TF coils, SCONE code, has been developed. The code was originally developed to apply reactor conceptual design where a baseline design of TF coils is required rather than the detailed one. The code consistently solves heat balance, electromagnetic stress and magnetic field at the TF coil system, and eventually pr...

Are abstract and concrete objects categorized similarly? In studies of psychological categories of concrete objects, Rosch and her colleagues have documented two phenomena (Rosch, Mervis, Gray, Johnson, & BoyesBraem, 1976). They found a basic level of conceptual abstraction and a perception of categorical structure based on family resemblance. To parallel Rosch’s experiments, this article repor...

A correct understanding about how computers run code is mandatory in order to effectively learn to program. Lectures have historically been used in programming courses to teach how computers execute code, and students are assessed through traditional evaluation methods, such as exams. Constructivism learning theory objects to students’ passiveness during lessons, and traditional quantitative me...

the relevance and effectiveness of the world health organization’s (who’s) global code of practice on the international recruitment of health personnel is being reviewed in 2015. the code, which is a set of ethical norms and principles adopted by the world health assembly (wha) in 2010, urges members states to train and retain the health personnel they need, thereby limiting demand for internat...

A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the system at runtime. Although there are certainly important open questions in this field, the separation of code and runtime imposes itself an obstacle for the evolution of continuously functioning systems. The goal of the wor...