Primary Recipient

TRUSTEES OF THE UNIVERSITY OF PENNSYLVANIA

Amount

$454,612.00

Award Date

7/20/2009

Administering Agency

National Science Foundation

CDFA Number

47.082

CDFA Program Title

Trans-NSF Recovery Act Reasearch Support

Description

In programming languages research, there is a strong trend toward extremely PRECISE TYPE SYSTEMS, which can encode and verify extremely detailed assertions about the behavior of programs and the structure of the data they manipulate. However, precision