Results 51 to 60 of about 6,120 (267)
Timed Operational Semantics and Well-Formedness of Shape Calculus [PDF]
Scientific Annals of Computer Science, 2010 The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel that models ...
E. Bartocci +4 more
doaj
Extended Connectors: Structuring Glue Operators in BIP [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Based on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encompass priorities.
Eduard Baranov, Simon Bliudze
doaj +1 more source
Towards a mathematical operational semantics [PDF]
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science, 2002 We present a categorical theory of 'well-behaved' operational semantics which aims at complementing the established theory of domains and denotational semantics to form a coherent whole. It is shown that, if the operational rules of a programming language can be modelled as a natural transformation of a suitable general form, depending on functorial ...
Plotkin, Gordon, Turi, Daniele
openaire +2 more sources
Operational Algorithmic Game Semantics
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023 We consider a simply-typed call-by-push-value calculus with state, and provide a fully abstract trace model via a labelled transition system (LTS) in the spirit of operational game semantics. By examining the shape of configurations and performing a series of natural optimisation steps based on name recycling, we identify a fragment for which the LTS ...
Benedict Bunting, Andrzej S. Murawski
openaire +2 more sources
Digital Cognitive Phenotyping for Differential Diagnosis and Monitoring in Neurological Conditions
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To assess the utility, accessibility, and equivalence to supervised scales of online cognitive assessment in older individuals with cognitive impairment. Methods Patients with Alzheimer's disease (AD, n = 31), idiopathic normal pressure hydrocephalus (iNPH, n = 26), and traumatic brain injury (TBI, n = 23) completed online cognitive ...
Martina Del Giovane +10 more
wiley +1 more source
Operational Semantics of Games
CoRR, 2019 We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used widely to reason on the behaviors of systems (not only computational systems) with game theory supported.
openaire +2 more sources
Denotational and operational semantics for prolog
The Journal of Logic Programming, 1988 The semantics of PROLOG programs is usually given in terms of the model theory of first-order logic. However, this does not adequately characterize the computational behavior of PROLOG programs. PROLOG implementations typically use a sequential evaluation strategy based on the textual order of clauses and literals in a program, as well as nonlogical ...
Saumya K. Debray, Prateek Mishra
openaire +1 more source
Stage‐Dependent β‐Synuclein Links MRI and Cognitive Decline in Alzheimer's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Synaptic degeneration drives cognitive decline in Alzheimer's disease (AD), but synaptic biomarkers are scarce. Brain‐enriched β‐synuclein emerged as a synaptic damage marker. We investigated its diagnostic, prognostic, and structural correlates across the AD continuum.
Ulaş Ay +15 more
wiley +1 more source
Modeling operational semantics of machine instructions
Труды Института системного программирования РАН, 2018 This paper offers a model which allows describe operational semantics of machine instructions for various target architectures. Feature of this model is that it is intended for reverse transformation compared with classical compilation one, however the ...
V. A. Padaryan +2 more
doaj
Meaning and Reference in Programming Languages
PhilosophiesThis paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj +1 more source