A Functional Derivation of the Warren Abstract Machine

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...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों: Pirog, M, Gibbons, J
स्वरूप: Journal article
प्रकाशित: 2011

समान संसाधन

समान संसाधन

  • Peter Warren
    द्वारा: Nick R Anthonisen
    प्रकाशित: (2011-01-01)
  • Warren Dean
    द्वारा: Maria Lígia Coelho Prado
    प्रकाशित: (1995-12-01)
  • Kenneth S. Warren
    द्वारा: Andrade Zilton A.
    प्रकाशित: (1997-01-01)
  • Warren M. Rohsenow
    द्वारा: Lienhard, John H.
    प्रकाशित: (2004)
  • Poems by Hannah Warren
    द्वारा: Hannah V Warren
    प्रकाशित: (2025-03-01)