[Colloquium] Feng/Dissertation Defense/5-4-05
Margaret Jaffey
margaret at cs.uchicago.edu
Tue Apr 19 10:48:39 CDT 2005
Department of Computer Science/The University of Chicago
*** Dissertation Defense ***
Candidate: Songyan (Tiger) Feng
Date: Wednesday, May 4, 2005
Time and Location: 3:00 p.m. in Ryerson 251
Title: Implementation of Contracts in Wrapper Generation Tools
Abstract:
Reliability is an important issue in software development. Using
contracts, esp. by the term of Design by Contract, is a classical
approach
to build reliable software. Contract programming uses rules, normally in
the form of assertions (called contracts), as specifications that
enforce
a correct program behavior. Although contracts/assertions are widely
used
in various implementations, there is little contract support in wrapper
generation. As many legacy applicatons (such as native C/C++ code) do
not
have contracts and many developers are reusing legacy code by putting
wrappers on it, it would make sense to put contracts in the wrappers,
which are extra code that sit between legacy application and new
environment. Our approach fills this gap by adding contracts to
interfaces
while binding existing non-reliable code using our wrapper generator
SWIG.
In this way, we can wrap the original object with contracts written by
clients or third parties without modification of the original code, so
that contracts do not need to be hard-coded in the original module with
the same language and by the same author.
Candidate's Advisor: Prof. David Beazley
------------------------------------------------------------------------
----------------
A draft copy of Mr. Feng's dissertation will be available soon in Ry
161A.
------------------------------------------------------------------------
----------------
--
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Margaret P. Jaffey margaret at cs.uchicago.edu
Department of Computer Science
Student Support Rep (Ry 161A) (773) 702-6011
The University of Chicago http://www.cs.uchicago.edu
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
More information about the Colloquium
mailing list