Primary Recipient

CARNEGIE MELLON UNIVERSITY

Amount

$487,108.00

Award Date

6/22/2009

Administering Agency

National Science Foundation

CDFA Number

47.082

CDFA Program Title

Trans-NSF Recovery Act Reasearch Support

Description

Research is proposed to extend the scale and generality of separation logic and grainless semantics to become applicable to more complex and varied softward systems. Specifically the following will be investigated: Higer-Order Desgn Patterns, Procedures