Results 91 to 100 of about 511,372 (153)
Formal Semantics of Dynamic Constraints and Derivation Rules in ORM
, 2016 This paper provides formal semantics for an extension of the Object-Role Modeling approach to support declaration of dynamic rules. Dynamic rules differ from static rules by involving state transitions, rather than simply individual states.
Balsters, Herman, Halpin, Terry
core +1 more source
Semantics as a gateway to language
, 2008 This paper presents an account of semantics as a system that integrates conceptual representations into language. I define the semantic system as an interface level of the conceptual system CS that translates conceptual representations into a format that
Wiese, Heike
core
Observational Semantics for Dynamic Logic with Binders
, 2016 Part 4: Regular PapersInternational audienceThe dynamic logic with binders $$\mathcal {D}^{\downarrow }$$ was recently introduced as a suitable formalism to support a rigorous stepwise development method for reactive software.
Rolf Hennicker +3 more
core +1 more source
Mobile Data, Dynamic Allocation and Zero Aliasing: an occam Experiment [PDF]
, 2001 F.R.M. Barnes and P.H. Welch Communicating Process Architectures 2001 (WoTUG 24) Traditional imperative languages (such as C) and modern object-oriented languages are plagued by uncontrolled resource aliasing problems. Add in concurrency and the problems
Barnes, Frederick R.M., Welch, Peter H.
core
Research on dynamic categorization of word meaning: review and prospect
Journal of World LanguagesThis paper reviews and prospects the study of word meaning and dynamic categorization. Based on a large number of literature, we find that cognitive semantics makes the study of word meaning systematic, and the categorization theory in cognitive ...
Zeng Rong
doaj +1 more source
Semantic verification of dynamic programming.
CoRR, 2020 We prove that the generic framework for specifying and solving finite-horizon, monadic sequential decision problems proposed in (Botta et al.,2017) is semantically correct. By semantically correct we mean that, for a problem specification $P$ and for any initial state $x$ compatible with $P$, the verified optimal policies obtained with the framework ...
Brede, Nuria, Botta, Nicola
openaire +1 more source
A Dynamic Semantics for Haskell
, 1992 This paper defines a dynamic semantics for the functional programming language Haskell. The semantics defines the meaning of expressions, modules and programs, including all nonoptional I/O requests. All constructs in the Haskell language are considered.
Kevin Hammond, Cordelia Hall
core
Relating Algebraic and Coalgebraic Logics of Knowledge and Update
, 2006 We provide a Coalgebraic semantics for dynamic epistemic logic and prove the muddy children puzzle using recursion. We show how by applying a similar approach to Jacob's predicate lifting to our Coalgebra, one obtains the algebraic logic version of ...
C. Cirstea +5 more
core
, 2008 There are four phenomena that are particularly troublesome for theories of ellipsis: the existence of sloppy readings when the relevant pronouns cannot possibly be bound; an ellipsis being resolved in such a way that an ellipsis site in the antecedent is
Elbourne, Paul
core