|
СТ |
A Calculus for Secure Mobility |
2003 |
Blanchet B., Aziz B. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
Computer-Assisted Verification of a Protocol for Certified Email |
2003 |
Abadi M., Blanchet B. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
|
СТ |
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software |
2002 |
Blanchet B., Cousot P., Cousot R., Feret J., Mauborgne L., Mine A., Monniaux D., Rival X. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
|
СТ |
Escape Analysis for Object Oriented Languages. Application to JavaTM |
1999 |
Blanchet B. |
|
|
|
SIGPLAN Notices |
21.12.1999 |
|
СТ |
Escape Analysis: Correctness Proof, Implementation and Experimental Results |
1998 |
Blanchet B. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
