[Pl-seminar] 10/16: Phil Nguyen, "Contract Checking by Evaluation"

[Vincent St-Amour]

Reminder: Phil is speaking at 11:45.

Vincent


At Fri, 11 Oct 2013 12:18:04 -0400,
Vincent St-Amour wrote:
> 
> 
> NUPRL Seminar presents
> 
> Phil Nguyen
> NUPRL
> 
> 11:45 - 1:30
> Wednesday, 10/16
> Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)
> 
> Contract Checking by Evaluation
> 
> Behavioral software contracts are a widely used mechanism for governing
> the flow of values between components. However, run-time monitoring and
> enforcement of contracts imposes significant and unpredictable overhead
> and delays the discovery of faulty components to run-time.
> 
> In this talk, I will first do a brief survey of recent approaches to
> verifying contracts for functional languages and discuss their
> applicability. Next, I will present a lightweight semantic approach to
> verifying contracts allowing for a broader set of language features and
> programming idioms. Finally, I will discuss other uses of the newly
> derived analysis besides contract checking.
> 
> _______________________________________________
> pl-seminar mailing list
> pl-seminar at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-seminar