From Natural Semantics to Abstract Machines
Citations
24 citations
Cites background from "From Natural Semantics to Abstract ..."
...Similar approaches, although their corresponding semantics are not deterministic, are those of Ager [1] and Stoughton [18]....
[...]
24 citations
Cites background from "From Natural Semantics to Abstract ..."
...In an extended version of this article we also illustrate the algorithm by extracting an abstract machine from a natural semantics for call-by-need evaluation of λ-terms [1]....
[...]
...Due to lack of space we omit the details which can be found in an extended version of this article [1]....
[...]
7 citations
Cites background or result from "From Natural Semantics to Abstract ..."
...In particular, the solution in [2] is in many respects similar to ours....
[...]
...The big-step operational semantics formulation (as introduced by Kahn [8] and also known as natural semantics) is often thought as a more intuitive choice than small-step semantics [10, 7, 2, 6, 1]....
[...]
...Our approach is in many respects similar to that of Ager [2], which presents how to translate any big-step semantics into a stack machine....
[...]
...This property is very similar to the one defined for the L-attributed grammar by Ibraheem and Schmidt in [7] and explored deeper by Ager in [2]....
[...]
...These problems have already been pointed out in the literature and there exist some proposals of solutions in [10, 7, 2, 6, 13]....
[...]
3 citations
Cites background from "From Natural Semantics to Abstract ..."
...Recently Danvy et al have explored the basis of abstract machines, and the process of deriving them from evaluators [1, 2, 3, 5]....
[...]