[<<][meta][>>][..]
Fri Sep 4 11:24:42 CEST 2009

A Methodology for Generating Verified Combinatorial Circuits

This paper describes the combination of staging and abstract
interpretation that seems to be key to MetaOcaml based specialization.

[1] http://www.cs.rice.edu/~taha/publications/conference/emsoft04.pdf



[Reply][About]
[<<][meta][>>][..]