http://www.oopsla.org/2006/2006/index.php?option=com_content&task=view&id=80&Itemid=203
program
registration
submissions
committee
lodging
portland
OOPSLA by Topic
Agile
Analysis
Architecture and SOA
Aspects
C++
Collaboration
Compilation
Components
Databases and Transactions
Design
Distribution and Concurrency
Dynamic Languages
Eclipse
Frameworks
Java
Language Design
MDA
Methods
Middleware
Modeling
Organization and Professional Development
Pedagogy/teaching
Programming Environments
Performance
Software Engineering
Static Analysis/Types
Theoretical Foundations
Testing
Tools
UML
Virtual Machines
Web
Navigate the schedule
Conference Schedule
Oct 26, 2006
Oct 26, 2006 08:30 - 10:00
Oct 26, 2006 10:30 - 12:00
Oct 26, 2006 13:30 - 15:00
Oct 26, 2006 15:30 - 17:00
OOPSLA Program
General Chair′s Message
Conference Schedule
Week at a Glance
Receptions and Special Events
The OOPSLA Wiki
OOPSLA Venues
Awards
Birds of a Feather (BoF)
Demonstrations
DesignFest
Doctoral Symposium
Dynamic Languages Symposium
Essays
Invited Speakers
Lightning Talks
Onward!
Panels
Posters
Practitioner Reports
Receptions and Special Events
Research Papers
Student Research Competition
Tutorials
Workshops
Types
Types
Thursday
, Oct 26, from 13:30 to 15:00
Research Papers in this Session
A Formal Framework for Component Deployment
An Operational Semantics and Type Safety Proof for Multiple Inheritance in C++
Efficient Software Model Checking of Data Structure Properties
While Space Available
Lightning Talks
Search
program
registration
submissions
committee
lodging
portland
For comments and questions about the web site
please contact us at support@oopsla.org
© 2005 OOPSLA
