… 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]… An operational semantics for Smalltalk is presented. While the description … inference and closure analysis, based on the operational semantics given here. We …. Second, we are able to give a simple model for the complicated exit-semantics …
Department of Computer Engineering, M{\"a}lardalen University, Sweden, , 1997.… as a computational logic framework for operational semantic definitions of programming 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]… 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]… Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given incrementally, once and for all, and do not need …
jlp, 60-61:195-228, 2004. [doi]… Structural Operational Semantics (SOS) allows transitions to be labelled. This is fully exploited in SOS descriptions of concurrent systems, but usually not at all in conventional descriptions of sequential programming languages.This paper …
SAC 2004: 1476-1481 [doi]… illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to describe diverging evaluations in addition to terminating … semantics and the standard small-step semantics, proving that both semantics …
iandc, 207(2):284-304, 2009. [doi]… operational semantics for domain-specific modelling languages. Thereby, we rely … Group. As examples, we specify structural operational semantics for Petri nets …
GTTSE 2007: 506-520 [doi]… In contrast to a transition system specification in process algebra, a structural operational semantics (SOS) of a programming language usually involves ….
Keywords: formal semantics; structural operational semantics; Modular SOS …
ENTCS, 229(4):49-66, 2009. [doi]… Type theories in the sense of Martin-Löf and the NuPRL system are based on taking as primitive a type-free programming language given by an operational semantics, and defining types as partial equivalence relations on the set of closed …
JSC, 14(1):71-84, 1992.… operational semantics of modelled languages. Integration is based on three bridges …, unified framework for prototyping operational semantics of modelled languages …
TOOLS 2009: [doi]… inference system is consistent with an operational dynamic semantics …
, 1988.… develops an operational semantics for a core calculus supporting all … to this operational semantics via a carefully constructed logical … nonstrict semantics. But modern functional languages like Clean …
TCS, 388(1-3):290-318, 2007. [doi]… that by giving a technique for specifying the operational semantics of a multi-language … relations, and operational equivalence for use on multi-language systems. Generally …-language research tends not to focus on the semantics of these features, but only …
TOPLAS, 31(3), 2009. [doi]… to the original DSML’s syntax and operational semantics, and we illustrate it on xSPEM … of a language can also be described, either operationally, or via transformations … approach (also called translational semantics) imply that the results (e.g. …
ECMDA-FA 2011: 35-51 [doi]… This paper presents an operational semantics of the repetitive model … defined in the standard UML Marte profile. It also deals with the semantics of an RSM extension for control-oriented design. The goal of this semantics is to serve …
ispdc 2010: 25-32 [doi]… to the original DSML’s syntax and operational semantics, and we illustrate it on xSPEM … of a language can also be described, either operationally, or via transformations … approach (also called translational semantics) imply that the results (e.g. …
Preprint 2011.