Specifying Byrd's Box Model with a Continuation Semantics
| Autor: | Jahier, Erwan, Ducassé, Mireille, Ridoux, Olivier |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science April 2000 30(4):308-315 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Jahier, Erwan, Ducassé, Mireille, Ridoux, Olivier |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science April 2000 30(4):308-315 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect