Вы здесь

Freund S. N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs 2004 Flanagan C., Freund S. N. POPL 2004 09.06.2004
СТ Run-Time Type Checking for Binary Programs 2003 Burrows M., Freund S. N., Wiener J. L. Lecture Notes in Computer Science 11.04.2003
СТ Thread-Modular Verification for Shared-Memory Programs 2002 Flaagan C., Freund S. N., Qadeer S. Lecture Notes in Computer Science 08.05.2002
СТ A Type System for Object Initialization in the Java Bytecode Language 1999 Freund S. N., Mitchell J. C. ACM Trans. on Programming Languages and Systems 10.07.2000
СТ A Formal Framework for the Java Bytecode Language and Verifier 1999 Freund S. N., Mitchell J. C. SIGPLAN Notices 21.12.1999
СТ A Type System for Object Initialization in the JavaTM Bytecode Language 1998 Freund S. N., Mitchell J. C. SIGPLAN Notices 23.04.1999
СТ Adding Type Parameterization to the Java Language 1997 Agesen O., Freund S. N., Mitchell J. C. SIGPLAN Notices 23.01.1998