Results 1 to 10 of about 87,504 (235)
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models.
Suzana Andova +2 more
doaj +4 more sources
Memoizing a monadic mixin DSL [PDF]
, 2011 Modular extensibility is a highly desirable property of a domain-specific language (DSL): the ability to add new features without affecting the implementation of existing features.
Samulowitz, Horst +4 more
core +5 more sources
Sham: A DSL for Fast DSLs [PDF]
The Art, Science, and Engineering of Programming, 2021 Domain-specific languages (DSLs) are touted as both easy to embed in programs and easy to optimize. Yet these goals are often in tension. Embedded or internal DSLs fit naturally with a host language, while inheriting the host's performance characteristics. External DSLs can use external optimizers and languages but sit apart from the host.
Rajan Walia +2 more
openaire +2 more sources
A Rule-Based Language and Verification Framework of Dynamic Service Composition
Future Internet, 2020 The emergence of BPML (Business Process Modeling Language) has favored the development of languages for the composition of services. Process-oriented approaches produce imperative languages, which are rigid to change at run-time because they focus on how
Willy Kengne Kungne +2 more
doaj +1 more source
Stem Cell Research & Therapy, 2021 Background Muscle is severely affected by ischemia/reperfusion injury (IRI). Quiescent satellite cells differentiating into myogenic progenitor cells (MPC) possess a remarkable regenerative potential. We herein established a model of local application of
Franka Messner +10 more
doaj +1 more source
Broadband Infrastructure and Unemployment - Evidence for Germany [PDF]
, 2011 Online job search is becoming increasingly prominent and is viewed to improve the efficiency of the search process. OLS results suggest a negative association of DSL availability with unemployment rates across German municipalities. However, the roll-out
Czernich, Nina
core +4 more sources
Rigosertib-Activated JNK1/2 Eliminate Tumor Cells through p66Shc Activation
Biology, 2020 Rigosertib, via reactive oxygen species (ROS), stimulates cJun N-terminal kinases 1/2 (JNK1/2), which inactivate RAS/RAF signaling and thereby inhibit growth and survival of tumor cells.
Julia K. Günther +4 more
doaj +1 more source
Communications of the ACM, 2011 Domain-specific languages bridge the semantic gap in programming.
openaire +3 more sources
Frontiers in Endocrinology, 2021 Metabolic dysfunction, dysregulated differentiation, and atrophy of skeletal muscle occur as part of a cluster of abnormalities associated with the development of Type 2 diabetes mellitus (T2DM). Recent interest has turned to the attention of the role of
Duyen Tran +8 more
doaj +1 more source
Inter‐Annual Variations of Precipitation Modulate the Dry Spell Length
GeoHealth, 2022 Dry spell length (DSL), consecutive non‐rainy days between two precipitation events, play an important role in regulating soil moisture dynamics, terrestrial energy exchange as well as vegetation growth.
Xiaoyuan Wang, Haibo Lu, Wenping Yuan
doaj +1 more source