On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
| Autor: | Danvy, Olivier http://www.brics.dk/~danvy, Millikin, Kevin1 http://www.brics.dk/~kmilli |
|---|---|
| Zdroj: | Information Processing Letters. Apr2008, Vol. 106 Issue 3, p100-109. 10p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|
Full Text from ScienceDirect