Colloquium
"Operational Semantics for Multi-Language Programs"
Jacob Matthews, University of Chicago
Thursday, August 24, 2006 at 10:00 A.M.
Room 368 (CIT 3rd Floor)
Software developers have long understood that real applications are built out of components in different languages and connected using a variety of different strategies. For example, foreign function interface systems like SWIG connect high-level languages to low-level languages; component frameworks like COM and CORBA connect high-level languages to each other; and domain-specific languages such as Yacc are embedded into their host languages in such a away that control and data flow back and forth between the programs.
In this talk I will present a general technique for modelling the operational semantics of multilanguage systems such as these. The technique is simple and general, and surprisingly connects traditional multilanguage systems to seemingly unrelated concepts such as contracts.
(Joint work with Robert B. Findler)
Host: Shriram Krishnamurthi
| Page Owner: Webmaster | Last Modified: Fri Aug 11 08:13:41 2006 |