y Abstract This paper studies composed reduction systems: a system of programs built up from the reduction relations of some reduction system, by means of parallel and sequential composition operators. The trace-based compo-sitional semantics of composed reduction systems is considered, and a new graph-representation is introduced as an alternative basis for the study of compositional semantics...

Refactorings are commonly applied to source code to improve its structure and maintainability. Integrated development environments (IDEs) such as Eclipse or NetBeans offer refactoring support for various programming languages. Usually, the developer makes a particular selection in the source code, and chooses to apply one of the refactorings, which is then executed (with suitable pre-condition ...

This paper begins a series studying D-modules on the Feigin-Frenkel semi-infinite flag variety from the perspective of the Beilinson-Drinfeld factorization (or chiral) theory. Here we calculate Whittaker-twisted cohomology groups of Zastava spaces, which are certain finite-dimensional subvarieties of the affine Grassmannian. We show that such cohomology groups realize the nilradical of a Borel ...

The double-controlled metric-type space (X,D) is a metric in which the triangle inequality has form D(η,μ)≤ζ1(η,θ)D(η,θ)+ζ2(θ,μ)D(θ,μ) for all η,θ,μ∈X. maps ζ1,ζ2:X×X→[1,∞) are called control functions. In this paper, we introduce novel generalization of double-composed space, where D(η,μ)≤αD(η,θ)+βD(θ,μ) our new functions α,β:[0,∞)→[0,∞) composed D inequality, multiplied with D. We establish s...

It is cited at the anatomical literature that the Abductor digiti minimi muscle can be composed by one or more muscular beams (Williams et al., 1995; Murata et al., 2004), being more found presenting only one beam, as described by Testut (1911) and schematized in pictures by other authors (Grant, 1948; Testut & Latarjet, 1959; Gray, 1977; Lockhart et al., 1983; Woodburne, 1984). However, some a...