Вы здесь

Blanchet B.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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