Вы здесь

Flanagan C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Extending JML for Modular Specification and Verification of Multi-threaded Programs 2005 Rodriguez E., Dwyer M., Flanagan C., Hatcliff J., Leavens G. T., Robby Fnu. Lecture Notes in Computer Science Lecture Notes in Computer Science 13.09.2005
СТ Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs 2004 Flanagan C., Freund S. N. POPL 2004 09.06.2004
СТ Verifying Commit-Atomicity Using Model-Checking 2004 Flanagan C. Lecture Notes in Computer Science 29.04.2004
СТ Thread-Modular Model Checking 2003 Flanagan C., Qadeer S. Lecture Notes in Computer Science 29.05.2003
СТ Automatic Software Model Checking Using CLP 2003 Flanagan C. Lecture Notes in Computer Science 16.04.2003
СТ Houdini, an Annotation Assistant for ESC/Java 2001 Flanagan C., Leino K.R. M. Lecture Notes in Computer Science 06.04.2001
СТ DrScheme: A Pedagogic Programming Environment for Scheme 1997 Findler R. B., Flanagan C., Flatt M., Krishnamurthi S., Felleisen M. Lecture Notes in Computer Science 05.09.1997
СТ pHluid: The Design of a Parallel Functional Language Implementation on Workstations 1996 Flanagan C., Nikhil R. S. Proc. of the 1996 ACM SIGPLAN Intern. Conf. on Functional Programming (ICFP 96) 18.08.1997
СТ Componential Set-Based Analysis 1997 Flanagan C., Felleisen M. SIGPLAN Notices 09.07.1997
СТ Catching Bugs in the Web of Program Invariants 1996 Flanagan C., Flatt M., Krishnamurthi S., Weirich S., Felleisen M. SIGPLAN Notices 16.10.1996
СТ The Essence of Compiling with Continuations 1993 Flanagan C., Sabry A., Duba B. F., Felleisen M. SIGPLAN Notices 11.08.1993