Author of the publication

Behavioral Compatibility of Self-Typed Theories.

, and . ECOOP, volume 2374 of Lecture Notes in Computer Science, page 585-608. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Temporal Object-Oriented Programming.. Comput. J., 43 (6): 491-511 (2000)Verification Theories for XML Schema., , and . BNCOD, volume 4042 of Lecture Notes in Computer Science, page 262-265. Springer, (2006)Expressivity of Typed Logic Paradigms for Object-Oriented Databases., and . BNCOD, volume 826 of Lecture Notes in Computer Science, page 73-89. Springer, (1994)Mapping XSD to OO Schemas., and . ICOODB, volume 5936 of Lecture Notes in Computer Science, page 149-166. Springer, (2009)Semantics of Objectified XML Constraints., and . DBPL, volume 2921 of Lecture Notes in Computer Science, page 147-165. Springer, (2003)Toward Multiparadigm Database Interfaces.. East/West Database Workshop, volume 504 of Lecture Notes in Computer Science, page 333-346. Springer, (1990)Object-Oriented Type Systems.. TOOLS (8), page 295. Prentice Hall, (1992)Object-Oriented Type Evolution Using Reflection., and . TOOLS (13), page 271-280. Prentice Hall, (1994)Reflective Constraint Management for Languages on Virtual Platforms., , and . J. Object Technol., 6 (10): 59-79 (2007)Automatic versus interactive program verification.. HILT, page 87-88. ACM, (2013)