
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...

CLight
 Referenced in 12 articles
[sw20973]
 Oriented Language CLight and Its Structural Operational Semantics. The paper presents the language ... standard C library functions. The structural operational semantics of Clight 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]
 designtime, compiletime, and runtime structure of objectoriented 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 welldefined operational semantics. Socalled amalgamation units...

elementaryREAL
 Referenced in 1 article
[sw21001]
 specification sublanguages. For elementaryREAL, the structured operational semantics is offered, a theorem...

KernelLEAF
 Referenced in 28 articles
[sw08982]
 distinction between data structures and (functional) term structures, and by using two kinds of equality ... language has a clean modeltheoretic semantics, where the domains of the interpretations ... different behaviour with respect to continuity. The operational semantics (based on SLDresolution) 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 highlevel 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 dataparallel operations on multiple values. The parallelism is therefore added ... parallelism via new control structures and consequently new semantics inside the body of these control...

RCharon
 Referenced in 4 articles
[sw19756]
 syntax and operational semantics for RCharon 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 datastructures 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...