[Colloq] Room Change: Thesis Defense: Stevie Strickland Thursday May 24th at 11:00am in 366 WVH
Nicole Bekerian
nicoleb at ccs.neu.edu
Tue May 22 11:23:46 EDT 2012
The College of Computer and Information Science presents:
Date: Thursday, May 24th, 2012
Time: 11:00 AM
Place: West Village H 366
Thesis Defense
Title: Scaling Contracts to Realistic Languages
Speaker: Stevie Strickland
Advisor: Matthias Felleisen
Contracts allow programmers to specify the expected behavior and use of program components separately from the code of the components themselves. Since Bertrand Meyer introduced contracts to working programmers via the Eiffel programming language, Eiffel-like contract systems have been designed for many other object-oriented languages. Contract systems are not limited to object-oriented programming; Findler and Felleisen showed how to add contracts to languages with higher-order functions and formalized the notions of contract boundaries and blame.
Currently, contract systems come with two major omissions: monitoring the invariants of mutable data structures and protecting first-class components, which are used in the construction of large-scale software projects. This dissertation presents the design and implementation of contract systems that cover these language features. These contracts are expressive enough to describe the protection of these values and efficient enough that performance concerns do not preclude their use.
--
Best,
Nicole
______________________________________________________________
Nicole Bekerian
Administrative Assistant
Northeastern University
College of Computer and Information Science
360 Huntington Ave.
202 West Village H
Boston, MA 02115
Phone: 617.373.2462
Fax: 617.373.5121
--
Best,
Nicole
______________________________________________________________
Nicole Bekerian
Administrative Assistant
Northeastern University
College of Computer and Information Science
360 Huntington Ave.
202 West Village H
Boston, MA 02115
Phone: 617.373.2462
Fax: 617.373.5121
More information about the Colloq
mailing list