Fully abstract semantics for OO

The presentation is a part of the MobiJ project meeting.

In this talk we will discuss our ongoing work concerning the problem of a fully abstract semantics for object-oriented languages and its relation with components.  

hosted by

social