Editors | |
Albert R. Meyer |
Publisher: | | Elsevier B.V. |
Address: | | Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis |
|
Keywords: | |
fixpoint definition,
inductive definition,
co-inductive definition,
bi-inductive definition,
non-monotone definition,
grammar,
structural operational semantics,
sos,
trace semantics,
relational semantics,
small-step semantics,
big-step semantics,
divergence semantics |
|
URL: | |
http://www.sciencedirect.com/science/article/B6WGK-4TW12N3-6/2/fba5f27f903fb78b6dfa0a319b0e64ec
|
|
| |
|