On the Multi-Language Construction

Modern software is no more developed in a single programming language. Instead, programmers tend to exploit cross-language interoperability mechanisms to combine code stemming from different languages, and thus yielding fully-fledged multi-language programs. Whilst this approach enables developers to benefit from the strengths of each single-language, on the other hand it complicates the semantics of such programs. Indeed, the resulting multi-language does not meet any of the semantics of the combined languages. In this paper, we broaden the boundary functions-based approach a la Matthews and Findler to propose an algebraic framework that provides a constructive mathematical notion of multi-language able to determine its semantics. The aim of this work is to overcome the lack of a formal method (resp., model) to design (resp., represent) a multi-language, regardless of the inherent nature of the underlying languages. We show that our construction ensures the uniqueness of the semantic function (i.e., the multi-language semantics induced by the combined languages) by proving the initiality of the term model (i.e., the abstract syntax of the multi-language) in its category

Parallel intraindividual evaluation of the vasoconstrictory action and the anti-allergic activity of topical corticosteroids

The human skin blanching assay is a well established method for ranking the efficacy of corticosteroids after epicutaneous application. Vasoconstriction is a pharmacological activity, which correlates well with the clinical efficacy, the intensity of skin blanching after a single application under occlusion corresponding, generally, to the clinical efficacy after repeated application without occlusion. However, in studies dealing with the comparison between the vasoconstriction assay and the evaluation of the clinical effects on inflammatory skin diseases, some exceptions to this correlation have been reported. Therefore, in a preclinical phase, it would be useful to combine the blanching assay with at least one anti-inflammatory assay. In the present study the blanching assay and the allergic contact dermatitis inhibition test were performed in parallel, in order to compare the two testing procedures in the same group of subjects, utilizing standardized study designs supported by objective means of evaluation. Three commercial preparations of corticosteroids containing clobetasol propionate (CP), clobetasone butyrate (CB) and hydrocortisone acetate (HA), respectively, were employed both to treat nickel-induced positive patch test responses on the volar forearms, and to perform a vasoconstrictor assay on normal forearm skin in 16 nickel-sensitized healthy volunteers. For evaluating skin blanching, we employed colorimetric measurements, whereas for the quantitative determination of the inhibition of the intensity of allergic patch test reactions, 20 MHz B-scanning supported by image analysis was used. Both colorimetric and echogenicity values enabled us to distinguish between the three corticosteroids (at the 17 h evaluation and the 64 h assessment, respectively). A fair correlation was noted between colorimetric and echogenicity values. Both testing procedures ranked the three corticosteroids in the expected order. Corticosteroid preparations should be compared using methods which allow different effects to be simultaneously monitored, without involving a high number of patients. We are proposing this double procedure for the parallel intraindividual evaluation of the vasoconstrictory action and the anti-allergic activity of topical steroids