• KLAIM

  • Referenced in 52 articles [sw09424]
  • protocols among located processes. The formal operational semantics is useful for discussing the design ... type system is used to determine the operations that processes want to perform at each...
  • Featherweight Java

  • Referenced in 50 articles [sw16204]
  • fields, inheritance, and dynamic typecasts with a semantics closely following Java’s. A proof ... minimal syntax, typing rules, and operational semantics of Featherweight Java make it a handy tool...
  • TVLA

  • Referenced in 27 articles [sw09878]
  • constructing static-analysis algorithms from an operational semantics, where the operational semantics is specified using...
  • PROMELA

  • Referenced in 26 articles [sw07635]
  • Outline for an operational semantics of PROMELA. PROMELA is a high-level specification language ... paper contains the outline for an operational- semantics definition of PROMELA...
  • GROOVE

  • Referenced in 35 articles [sw09480]
  • basis for model transformation and operational semantics. This entails a formal foundation for model transformation...
  • LUPS

  • Referenced in 35 articles [sw02579]
  • studied and defined the declarative and operational semantics of sequences of logic programs (or dynamic...
  • Facile

  • Referenced in 20 articles [sw08679]
  • present two different descriptions of the operational semantics of Facile. First, we develop a structural ... operational semantics for a small core subset of Facile using a labeled transition system. Such ... semantics is useful for reasoning about the operational behavior of Facile programs. We then provide ... concurrent processes evaluating functional expressions. The implementation semantics includes compilation rules from Facile...
  • Ruby

  • Referenced in 26 articles [sw16267]
  • language with advanced features such as yield operator and dynamic class manipulation. They make Ruby ... scripting language, but they also make the semantics of Ruby complicated and difficult to understand ... this challenge, we present a formal operational semantics that can serve as a high-level...
  • AToM3

  • Referenced in 27 articles [sw10092]
  • tasks, such as code generation and operational semantics specification...
  • Kernel-LEAF

  • Referenced in 24 articles [sw08982]
  • language has a clean model-theoretic semantics, where the domains of the interpretations ... behaviour with respect to continuity. The operational semantics (based on SLD-resolution) is proved sound...
  • CoCasl

  • Referenced in 22 articles [sw13076]
  • syntax of processes and their structural operational semantics fit well in the algebraic world...
  • csp2B

  • Referenced in 21 articles [sw07703]
  • justified in terms of an operational semantics...
  • C-Light

  • Referenced in 14 articles [sw20973]
  • Language C-Light and Its Structural Operational Semantics. The paper presents the language C-light ... switchand goto. C-light includes the C++ operators newand deleteto manage the dynamic memory instead ... standard C library functions. The structural operational semantics of C-light in the Plotkin style...
  • Creol

  • Referenced in 15 articles [sw09421]
  • This paper presents the Creol syntax, operational semantics, and type system. It is shown that...
  • LiQuor

  • Referenced in 14 articles [sw04136]
  • probabilistic guarded command language with an operational semantics based on (finite) Markov decision processes. LiQuor...
  • Bedwyr

  • Referenced in 14 articles [sw09460]
  • must behavior in operational semantics. The second is that higher-order abstract syntax is directly...
  • LETOS

  • Referenced in 8 articles [sw04987]
  • LETOS -- A Lightweight Execution Tool for Operational Semantics A lightweight tool is proposed ... development of operational semantics. To use letos, an operational semantics must be expressed ... helps to check that a specification is operationally conservative...
  • MMT

  • Referenced in 9 articles [sw07905]
  • Maude MSOS tool Modular structural operational semantics (MSOS) is a new framework that allows structural ... operational semantics (SOS) specifications to be made modular in the sense of not imposing...
  • HYPROLOG

  • Referenced in 13 articles [sw02743]
  • underlying Prolog system. An operational semantics is given which complies with standard declarative semantics...
  • VPM

  • Referenced in 10 articles [sw07364]
  • graph transformation) where the structure and operational semantics of mathematical models can be defined...