Вы здесь

Martel M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Overview of Semantics for the Validation of Numerical Programs 2005 Martel M. Lecture Notes in Computer Science Lecture Notes in Computer Science 23.03.2005
СТ Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach 2002 Martel M. Lecture Notes in Computer Science 08.05.2002
СТ Partial Evaluation of Concurrent Programs 2001 Martel M., Gengler M. Lecture Notes in Computer Science 21.08.2001
СТ Communication Topology Analysis for Concurrent Programs 2000 Martel M., Gengler M. Lecture Notes in Computer Science 26.09.2000
СТ Self-applicable Partial Evaluation for the Pi-calculus 1997 Gengler M., Martel M. SIGPLAN Notices 27.01.1998

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Static Analysis: Proc./17th International Symposium, SAS 2010, Perpignan, France, September 2010 2010 Lecture Notes in Computer Science
  1. Cousot R.
  2. Martel M.
26.10.2010