… not include a formal semantics. This paper shows how a subset of the BPMN can be given a process semantics in Communicating Sequential Processes. Such a semantics … of the semantics; some theoretical results about the semantics are briefly discussed. …
icfem 2008: 355-374 [doi]… An operational semantics for Smalltalk is presented. While the description …. Second, we are able to give a simple model for the complicated exit-semantics of Smalltalk blocks. Third, the semantics can be used as a basis for “collecting …
Department of Computer Engineering, M{\"a}lardalen University, Sweden, , 1997.… semantics, enabling it to describe diverging evaluations in addition to terminating … semantics and the standard small-step semantics, proving that both semantics are equivalent. We then study the use of coinductive big-step semantics in proofs of type …
iandc, 207(2):284-304, 2009. [doi]… This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite … and thoroughly tested formal definition of C to date. The semantics yields an interpreter …
POPL 2012: 533-544 [doi]… Grace is a dynamic object oriented programming language designed to aid programming education. We present a formal model of and give an operational semantics … in the form of an operational semantics which is readable and executable. The semantics …
DLS 2017: 63-74 [doi]… This paper shows how rewriting logic semantics (RLS) can be used … languages. Several operational semantics styles are addressed: big-step and small-step structural operational semantics (SOS), modular SOS, reduction semantics …
iandc, 207(2):305-340, 2009. [doi]… develop a denotational semantics for a typed core language of Curry. Dealing … to existing semantics for functional logic languages, we deliberately approach … previously known from the study of (resolution-like) semantics for logic …
wflp 2011: 119-136 [doi]… semantics for behavioral languages (e.g., Dynamic Meta Modeling (DMM), Semantic Anchoring). Most of these approaches give rise to a formal semantics which can e.g. … using model checking techniques. However, if the semantics specification itself …
MoDELS 2009: 378-392 [doi]… This paper illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling the latter to describe diverging evaluations in addition to terminating evaluations. We show applications to proofs of type …
ESOP 2006: 54-68 [doi]… of the static program structure.We present the first rigorous semantics … a straightforward least fixpoint semantics and all queries terminate.The translation from … execution of our semantics is not prohibitively expensive. …
POPL 2007: 11-23 [doi]… This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report …-specific language for writing operational semantics. The implementation allows …
JFP, 18(1):47-86, 2008. [doi]… transition systems and sequential trace semantics - the common semantic domains … a partial-order semantics in terms of heaps, for Orc, an orchestration language used …, and this new semantics, are used for QoS studies of wide area orchestrations. …
In Web Services and Formal Methods. 2008: 154-168 [doi]… The formal semantics of a programming language and its implementation … of the formal semantics are not properties of the implementation. In this paper, we … semantics of programming languages that aims at supporting both formal reasoning …
RTA 2015: 365-378 [doi]… an entirely different notation with a different semantics that many find difficult … for treating type checking in a manner like the operational semantics …
ESOP 2007: 426-440 [doi]… These notes give an overview of the main frameworks that have been developed for specifying the formal semantics of programming languages. Some of the pragmatic aspects of semantic descriptions are discussed, including modularity …
ENTCS, 148(1):41-73, 2006. [doi]