• CoCasl

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

  • Referenced in 22 articles [sw08679]
  • Facile. First, we develop a structural operational semantics for a small core subset of Facile...
  • MMT

  • Referenced in 16 articles [sw07905]
  • Maude MSOS tool. Modular structural operational semantics (MSOS) is a new framework that allows structural...
  • C-Light

  • Referenced in 12 articles [sw20973]
  • Oriented Language C-Light and Its Structural Operational Semantics. The paper presents the language ... standard C library functions. The structural operational semantics of C-light in the Plotkin style...
  • VPM

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

  • Referenced in 50 articles [sw09480]
  • design-time, compile-time, and run-time structure of object-oriented systems, and graph transformations ... basis for model transformation and operational semantics. This entails a formal foundation for model transformation...
  • Risa/Asir

  • Referenced in 111 articles [sw00806]
  • under development at FUJITSU LABORATORIES LIMITED. The structure of Risa is as follows. - The basic ... part which performs basic algebraic operations, such as arithmetic operations, to algebraic objects, e.g., numbers ... assembler. It serves as the basic operation part of Asir, a standard language interface ... interfaces. Asir has very similar syntax and semantics as C language. Furthermore...
  • TVLA

  • Referenced in 33 articles [sw09878]
  • from an operational semantics, where the operational semantics is specified using logical formulae. TVLA ... shape analysis on programs manipulating linked data structures (singly and doubly linked lists), to prove...
  • MJ

  • Referenced in 12 articles [sw24342]
  • block structure. We define the syntax, type system and operational semantics of MJ, and give...
  • Henshin

  • Referenced in 11 articles [sw10085]
  • structured into nested transformation units with well-defined operational semantics. So-called amalgamation units...
  • elementary-REAL

  • Referenced in 1 article [sw21001]
  • specification sublanguages. For elementary-REAL, the structured operational semantics is offered, a theorem...
  • Kernel-LEAF

  • Referenced in 28 articles [sw08982]
  • distinction between data structures and (functional) term structures, and by using two kinds of equality ... language has a clean model-theoretic semantics, where the domains of the interpretations ... different behaviour with respect to continuity. The operational semantics (based on SLD-resolution) is proved...
  • FACTORIE

  • Referenced in 13 articles [sw08947]
  • model structure, inference, and learning. By combining the traditional, declarative, statistical semantics of factor graphs ... with imperative definitions of their construction and operation, we allow the user to mix declarative...
  • Creol

  • Referenced in 25 articles [sw09421]
  • method calls and high-level local control structures allow local computation to adapt to network ... This paper presents the Creol syntax, operational semantics, and type system. It is shown that...
  • DIEGO

  • Referenced in 13 articles [sw02178]
  • programming with Encapsulated Graph Objects. Their operational semantics definition follows the lines of distributed graph ... this setting, the new approach supports structuring of large specifications into small reusable modules with...
  • Vc

  • Referenced in 8 articles [sw21533]
  • types enable explicitly stating data-parallel operations on multiple values. The parallelism is therefore added ... parallelism via new control structures and consequently new semantics inside the body of these control...
  • R-Charon

  • Referenced in 4 articles [sw19756]
  • syntax and operational semantics for R-Charon on three levels: behavior (modes), structure (agents...
  • FASILL

  • Referenced in 1 article [sw37835]
  • implementation of the operational semantics and we describe the overall structure of the FASILL system...
  • FunArray

  • Referenced in 14 articles [sw13708]
  • compound data-structures such as arrays and collections. The analysis automatically and semantically divides arrays ... bound expressions, segment abstractions and the reduction operator. Once the functor has been instantiated with...
  • Ariadne

  • Referenced in 12 articles [sw06670]
  • extensible package that features basic data structures and operators to support analysis and synthesis ... they conform to the syntax and semantics of the concept; new algorithms can be plugged...