Вы здесь

Monsuez B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Using Abstract Interpretation to Define a Strictness Type Inference System 1995 Monsuez B. Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation 13.08.1997
СТ System F and Abstract Interpretation 1995 Monsuez B. Lecture Notes in Computer Science Static Analysis 17.11.1995
СТ Polymorphic Types and Widening Operators 1993 Monsuez B. Lecture Notes in Computer Science 11.12.1993
СТ Polymorphic Typing for Call-By-Name Semantics 1993 Monsuez B. Lecture Notes in Computer Science 20.11.1993
СТ Polymorphic Typing by Abstract Interpretation 1992 Monsuez B. Lecture Notes in Computer Science 28.12.1992
СТ Fractional Types 1992 Monsuez B. BIGRE 11.11.1992
СТ An Attempt to Find Polymorphic Types by Abstract Interpretation 1991 Monsuez B. BIGRE 11.12.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Verification and Evaluation of Computer and Communication Systems: Proc./12th International Conference, VECoS 2018, Grenoble, France, September 2018 2018 Lecture Notes in Computer Science
  1. Atig M.F.
  2. Bensalem S.
  3. Bliudze S.
  4. Monsuez B.
30.10.2018