Monday, April 29, 2024

Localization | 2014.05.08

Maryland Professor Hanan Samet Receives 2014 IEEE Computer Society Award ... - DirectionsMag.com (press release)


Maryland Professor Hanan Samet Receives 2014 IEEE Computer Society Award ...
DirectionsMag.com (press release)
His 1975 Stanford University PhD thesis dealt with proving the correctness of translations of LISP programs, which was the first work in the field that 20 years later became known as translation validation and the related concept of proof-carrying code ...

and more »

 

For more information, please visit
http://news.google.com/news/url?sa=t&fd=[...]ofessor-hanan-samet-receives-2

You need to login to post comments.

Feed last updated 2024/04/30 @10:04 AM

0 COMMENTS:

Follow us on Follow Us on Facebook Follow Us on Twitter
©2006 Translations News