Results 31 to 40 of about 6,120 (267)
Syntax and Semantics for Operations with Scopes [PDF]
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018 Motivated by the problem of separating syntax from semantics in programming with algebraic effects and handlers, we propose a categorical model of abstract syntax with so-called scoped operations. As a building block of a term, a scoped operation is not merely a node in a tree, as it can also encompass a whole part of the term (a scope).
Maciej Piróg +3 more
openaire +3 more sources
An operational semantics for skeletons
, 2004 A major weakness of the current programming systems based on skeletons is that parallel semantics is usually provided in an informal way, thus preventing any formal comparison about program behavior. We describe a schema suitable for the description of both functional and parallel semantics of skeletal languages which is aimed at filling this gap.
M. ALDINUCCI, DANELUTTO, MARCO
openaire +4 more sources
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems, well supported by
Lorenzo Capra
doaj +1 more source
Operational Semantics for DyLPs [PDF]
, 2005 Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly dynamic domains with logic programming techniques. Two of the most recent results are the definition of the refined stable and the well founded semantics for dynamic logic ...
Federico Banti +2 more
openaire +1 more source
CSF Monoamine Metabolites and Cognitive Trajectory in Early Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Imaging and postmortem studies indicate that abnormalities in monoaminergic neurotransmission contribute to cognitive impairment in Parkinson's disease (PD). However, it remains uncertain if cerebrospinal fluid (CSF) monoamine metabolites can serve as biomarkers of cognitive decline in early PD.
Jing‐Yu Shao +7 more
wiley +1 more source
Structural Operational Semantics with transitivity rules and execution time
CLEI Electronic Journal, 2009 We de¯ne an structural operational semantics of the core of an imperative language. It has a measure in the transitions corresponding to the number of steps of evaluation that takes place in the transition (from the point of view of usual ...
Patricia Peratto
doaj +1 more source
Elevated Connectivity During Language Processing Is Associated With Cognitive Performance in SeLECTS
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Self‐Limited Epilepsy with Centrotemporal Spikes (SeLECTS) is associated with language impairments despite seizures originating in the motor cortex, suggesting aberrant cross‐network interactions. Here we tested whether functional connectivity in SeLECTS during language tasks predicts language performance.
Wendy Qi +8 more
wiley +1 more source
Deductive Verification of Telecommunication Systems Written in C
Моделирование и анализ информационных систем, 2015 A deductive approach to verification of telecommunication systems written in C is proposed. The approach is based on the extension of C by declarative statements and on reduction of verification of parallel communicating components of these systems to ...
I. S. Anureev
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio +8 more
wiley +1 more source
Lightweight Time Modeling in Timed Creol [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 Creol is an object-oriented modeling language in which inherently concurrent objects exchange asynchronous method calls. The operational semantics of Creol is written in an actor-based style, formulated in rewriting logic.
Olaf Owe +3 more
doaj +1 more source