Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Dave Sands: Link to Home Page
Dave Sands * Sands * David Sands
* * Dave Sands * Chalmers
* Sands * semantics * program transformation * improvement theory