An alternative formulation of operational conservativity with binding terms. (Q1400151)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An alternative formulation of operational conservativity with binding terms. |
scientific article |
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
