Вы здесь

Blanchet B.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Escape Analysis for Object Oriented Languages. Application to JavaTM 1999 Blanchet B. SIGPLAN Notices 21.12.1999
СТ 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
СТ 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