1,196 research outputs found
A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping
Context-Oriented Programming (COP) is a programming paradigm to encourage
modularization of context-dependent software. Key features of COP are
layers---modules to describe context-dependent behavioral variations of a
software system---and their dynamic activation, which can modify the behavior
of multiple objects that have already been instantiated. Typechecking programs
written in a COP language is difficult because the activation of a layer can
even change objects' interfaces. Inoue et al. have informally discussed how to
make JCop, an extension of Java for COP by Appeltauer et al., type-safe.
In this article, we formalize a small COP language called ContextFJ
with its operational semantics and type system and show its type soundness. The
language models main features of the type-safe version of JCop, including
dynamically activated first-class layers, inheritance of layer definitions,
layer subtyping, and layer swapping
Induced top Yukawa coupling and suppressed Higgs mass parameters
In the scenarios with heavy top squarks, mass parameters of the Higgs field
must be fine-tuned due to a large logarithmic correction to the soft scalar
mass. We consider a new possibility that the top Yukawa coupling is small above
TeV scale. The large top mass is induced from strong Yukawa interaction of the
Higgs with another gauge sector, in which supersymmetry breaking parameters are
given to be small. Then it is found that the logarithmic correction to the
Higgs soft scalar mass is suppressed in spite of the strong coupling and the
fine-tuning is ameliorated. We propose an explicit model coupled to a
superconformal gauge theory which realizes the above situation.Comment: RevTeX4 style, 10 pages, 3 figure
Selection of Color-Changing and Intensity-Increasing Fluorogenic Probe as Protein-Specific Indicator Obtained via the 10BASEd-T
To obtain a molecular probe for specific protein detection, we have synthesized fluorogenic probe library of vastdiversity on bacteriophage T7 via the gp10 based-thioetherificaion (10BASEd-T). A remarkable color-changing and turning-on probewas selected from the library, and its physicochemical properties upon target-specific binding were obtained. Combination analysesof fluorescence emission titration, isothermal titration calorimetry (ITC), and quantitative saturation-transfer difference (STD) NMRmeasurements followed by in silico docking simulation, rationalized most plausible geometry of the ligand-protein interaction
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)
This artifact provides the Scala, Haskell, and Purescript
implementations of ContextWorkflow, an embedded domain-specific
language for interruptible and compensable executions, and
demonstrates the maze search example described in the companion
paper. The Haskell and Purescript implementations provide the core
language constructs including texttt{checkpoint} for partial aborts
and texttt{sub} for sub-workflows and show that ContextWorkflow can
be embedded in eager and lazy languages as described in the
companion paper. The Scala implementation does not only provide
user-friendly syntax of ContextWorkflow but also gives the maze
search example as an interactive GUI application
- …