Sciweavers

2 search results - page 1 / 1
» The Correctness of the Fast Fourier Transform: A Structured ...
Sort
View
FMSD
2002
114views more  FMSD 2002»
13 years 5 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
IPPS
1998
IEEE
13 years 10 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa