Results 111 to 120 of about 188,404 (207)
We would like in this note to offer a constructive criticism of current work in the semantics of programming languages, a criticism directed not so much at the techniques and results obtained as at the use to which they are put. The basic problem, in our
Ashcroft, Edward A., Wadge, William W.
core
Structural Operational Semantics
, 1999 The importance of giving precise semantics to programming and specificationlanguages was recognized since the sixties with the development of thefirst high-level programming languages (cf. e.g.
Aceto, Luca +2 more
core
Operational Semantics for Fun and Profit
, 2005 The FDR refinement-checking tool, available free for academic purposes. [5] relies fundamentally upon the congruences between operational and denotational semantics for CSP, in order to determine a denotational property by exploring an operationally presented system.
openaire +2 more sources
Towards a mathematical operational semantics
, 1997 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.
Daniele Turi
core +1 more source
Structured operational semantics of χ
, 1999 An operational semantics of the systems engineering specification formalism χ is given using an SOS-style (structured operational semantics) semantics [Plo81]. The semantics is given in two steps.
V. Bos, J. J. T. Kleijn
core
Mind operational semantics and brain operational architectonics: a putative correspondence. [PDF]
Open Neuroimag J, 2010 Benedetti G +3 more
europepmc +1 more source
Extending and Relating Semantic Models of Compensating CSP
Business transactions involve multiple partners coordinating and interacting with each other. These transactions have hierarchies of activities which need to be orchestrated.
Ripon, Shamim
core
TrustDS: policy-compiled governance and verifiable evidence for cross-cloud marketplace analytics under explicit security assumptions. [PDF]
Sci RepDockara TR, Malhotra M.
europepmc +1 more source
Fault-Tolerant Control of AGVs via Deep Feature Enhancement and Multi-Source Verification in Complex Industrial Environments. [PDF]
Sensors (Basel)Zhou Y, Peng S, Wang Y, Zhou N, Shan F.
europepmc +1 more source
From Operational to Denotational Semantics
, 1989 In this paper it is shown how operational semantic methods may be naturally extended to encompass many of the concepts of denotational semantics. This work builds on the standard development of an operational semantics as an interpreter and operational ...
Scott Smith
core