СТ |
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 |