A Functional Derivation of the Warren Abstract Machine
Based on Danvy et al.'s functional correspondence, we give a further example of gradual re finement of an interpreter into a known, low-level abstract machine underlying real-world compilers, by deriving an abstract model of the Warren Abstract Machine from a simple resolution-based Prolog inte...
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Journal article |
| Baskı/Yayın Bilgisi: |
2011
|