21 search results - page 5 / 5 » Formal Design of Arithmetic Circuits Based on Arithmetic Des... |
POPL
2010
ACM
14 years 2 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...