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: | Pirog, M, Gibbons, J |
---|---|
Materyal Türü: | Journal article |
Baskı/Yayın Bilgisi: |
2011
|
Benzer Materyaller
-
Peter Warren
Yazar:: Nick R Anthonisen
Baskı/Yayın Bilgisi: (2011-01-01) -
Warren Dean
Yazar:: Maria Lígia Coelho Prado
Baskı/Yayın Bilgisi: (1995-12-01) -
Kenneth S. Warren
Yazar:: Andrade Zilton A.
Baskı/Yayın Bilgisi: (1997-01-01) -
Warren M. Rohsenow
Yazar:: Lienhard, John H.
Baskı/Yayın Bilgisi: (2004) -
Poems by Hannah Warren
Yazar:: Hannah V Warren
Baskı/Yayın Bilgisi: (2025-03-01)