Вы здесь

Castagna G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Information Flow Security for XML Transformations 2003 Benzaken V., Burelle M., Castagna G. Lecture Notes in Computer Science 14.01.2004
СТ Seal: A Framework for Secure Mobile Computations 1999 Vitek J., Castagna G. Lecture Notes in Computer Science 05.11.1999
СТ Parasitic Methods: An Implementation of Multi-Methods for Java 1997 Boyland J., Castagna G. SIGPLAN Notices 23.01.1998
СТ Type-Safe Compilation of Covariant Specialization: A Practical Case 1996 Boyland J., Castagna G. Lecture Notes in Computer Science ECOOP 96 - Object-Oriented Programming 04.10.1996
СТ A Meta-Language for Typed Object-Oriented Languages 1993 Castagna G. Lecture Notes in Computer Science 20.01.1994

Редактор: