12 search results - page 3 / 3 » Modular Certification of Low-Level Intermediate Representati... |
ICFP
2005
ACM
14 years 6 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
VEE
2010
ACM
14 years 1 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...