From natural semantics to C: A formal derivation of two STG machines
A De La Encina, R Pena - Journal of Functional Programming, 2009 - cambridge.org
The Spineless Tag-less G-machine (STG machine) was defined as the target abstract
machine for compiling the lazy functional language Haskell. It is at the heart of the Glasgow …
machine for compiling the lazy functional language Haskell. It is at the heart of the Glasgow …
[图书][B] JDIET Footprint Reduction for Memory-Constrained Systems
MJ Huffman - 2009 - search.proquest.com
Main memory remains a scarce computing resource. Even though main memory is
becoming more abundant, software applications are inexorably engineered to consume as …
becoming more abundant, software applications are inexorably engineered to consume as …
[PDF][PDF] Formalizando el proceso de depuración en programación funcional paralela y perezosa
A Encina Vara - 2009 - docta.ucm.es
¿ Cuántas veces nos planteamos por qué investigamos en lo que estamos investigando?
En concreto, cuántas veces nos habremos y nos habrán preguntado “¿ por qué la …
En concreto, cuántas veces nos habremos y nos habrán preguntado “¿ por qué la …
[引用][C] Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad 2, and S. Arun-Kumar 2
GIE Dyade