http://www.oopsla.org/2006/2006/index.php?option=com_content&task=view&id=386&Itemid=167

program registration submissions committee lodging portland

P13: Dynamic Constraint Detection for Polymorphic Behavior

P13: Dynamic Constraint Detection for Polymorphic Behavior

The implementation for dynamic constraint detection examines only the declared type of a variable, lacking many constraints in the context of object-oriented programs. We extended this technique to detect constraints of object-oriented programs in the presence of polymorphism by examining the runtime type of a polymorphic variable.

Nadya Kuzmina, University of Wyoming
Ruben Gamboa, University of Wyoming

 

While Space Available
Search
program registration submissions committee lodging portland
For comments and questions about the web site
please contact us at support@oopsla.org
© 2005 OOPSLA