• GROOVE

  • Referenced in 51 articles [sw09480]
  • formal foundation for model transformation and dynamic semantics, and the ability to verify model transformation ... dynamic semantics through an (automatic) analysis of the resulting graph transformation systems, for instance using...
  • Featherweight Java

  • Referenced in 93 articles [sw16204]
  • classes, methods, fields, inheritance, and dynamic typecasts with a semantics closely following Java...
  • Lua

  • Referenced in 40 articles [sw10207]
  • associative arrays and extensible semantics. Lua is dynamically typed, runs by interpreting bytecode...
  • K-Java

  • Referenced in 10 articles [sw18991]
  • definitions -- a static semantics and a dynamic semantics. The output of the static semantics ... passed as input to the dynamic semantics for execution. The preprocessed program is a valid...
  • LUPS

  • Referenced in 37 articles [sw02579]
  • declarative and operational semantics of sequences of logic programs (or dynamic logic programs ... different sets of priorities. The role of dynamic logic programming is to employ the mutual ... given state, the declarative and procedural semantics of their combination. But how, in concrete situations...
  • VPM

  • Referenced in 11 articles [sw07364]
  • Time. However, such transformations into different semantic domains typically require the deep understanding ... metamodeling technique with precise static and dynamic semantics (based on a refinement calculus and graph...
  • Kermeta

  • Referenced in 8 articles [sw10062]
  • abstract syntax, static semantics (OCL) and dynamic semantics with connection to the concrete syntax; model...
  • LNT2LOTOS

  • Referenced in 5 articles [sw20418]
  • defines the syntax, static semantics, and dynamic semantics of LNT, and presents its associated tools...
  • CP-logic

  • Referenced in 19 articles [sw06947]
  • inherent dynamic aspect, which has been studied at the semantical level by Shafer ... framework of probability trees. In such a dynamic context, where the evolution of a domain ... offering a convenient logical representation for his semantical objects. Second, this language also has relevance...
  • Ruby

  • Referenced in 34 articles [sw16267]
  • advanced features such as yield operator and dynamic class manipulation. They make Ruby a popular ... scripting language, but they also make the semantics of Ruby complicated and difficult to understand...
  • MetaEnv

  • Referenced in 3 articles [sw22002]
  • software systems, but they usually lack dynamic semantics, and thus provide limited support to software ... contrast, formal models would provide rigorous semantics, but the scarce adaptability to different application domains ... MetaEnv augments VD notations with customizable dynamic semantics. Traditional meta-CASE tools support flexibility...
  • CakeML

  • Referenced in 53 articles [sw08799]
  • prints only those results permitted by the semantics of CakeML. Our verification effort touches ... including lexing, parsing, type checking, incremental and dynamic compilation, garbage collection, arbitrary-precision arithmetic...
  • Jinja Threads

  • Referenced in 9 articles [sw28538]
  • through interleaving to a sequential semantics, which features dynamic thread creation, inter-thread communication ... bisimilarity between the source code small step semantics and the defensive Jinja virtual machine...
  • SCIFF

  • Referenced in 20 articles [sw20513]
  • SCIFF language is equipped with a semantics based on abductive logic programming; SCIFF’s operational ... dynamic environments. In this article we present the declarative and operational semantics of the SCIFF...
  • CLF

  • Referenced in 2 articles [sw21372]
  • calculus with correspondence assertions, including its dynamic semantics, safety criterion, and a type system with...
  • XYZ/ADL

  • Referenced in 2 articles [sw02924]
  • language XYZ/E, which can represent both dynamic semantics and static semantics under a unified logical...
  • MANIFOLD

  • Referenced in 30 articles [sw02900]
  • transition system semantics for the control-driven coordination language MANIFOLD Coordination languages ... shared among all active processes or by dynamically evolving the interconnections among the processes ... supported by MANIFOLD. We present the formal semantics of a kernel of MANIFOLD, based...
  • Facile

  • Referenced in 22 articles [sw08679]
  • used within processes, and processes can be dynamically created during expression evaluation. In this work ... present two different descriptions of the operational semantics of Facile. First, we develop a structural...
  • Atomizer

  • Referenced in 17 articles [sw08924]
  • Atomizer: a dynamic atomicity checker for multithreaded programs. Ensuring the correctness of multithreaded programs ... sequential semantics, which significantly simplifies (formal and informal) correctness arguments.This paper presents a dynamic analysis...