An alternative formulation of operational conservativity with binding terms. (Q1400151)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An alternative formulation of operational conservativity with binding terms. |
scientific article; zbMATH DE number 1963584
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An alternative formulation of operational conservativity with binding terms. |
scientific article; zbMATH DE number 1963584 |
Statements
An alternative formulation of operational conservativity with binding terms. (English)
0 references
13 August 2003
0 references
Structural operational semantics
0 references
Operational conservative extension
0 references
Transition system specification
0 references
Variable binding operator
0 references
Source dependency
0 references
0.8630527853965759
0 references
0.8287311792373657
0 references
0.8221864700317383
0 references
0.8150500059127808
0 references
