Вы здесь

Fradet P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Framework for the Detection and Resolution of Aspect Interactions 2002 Douence R., Fradet P., Sudholt M. Lecture Notes in Computer Science 23.11.2002
СТ Enforcing Trace Properties by Program Transformation 2000 Colcombet T., Fradet P. Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages 05.06.2000
СТ Analyzing Non-functional Properties of Mobile Agents 2000 Fradet P., Isssarny V., Rouvrais S. Lecture Notes in Computer Science 25.04.2000
СТ Consistency Checking for Multiple View Software Architectures 1999 Fradet P., Le Metayer D., Perin M. Lecture Notes in Computer Science 14.10.1999
СТ A Systematic Study of Functional Language Implementation 1998 Douence R., Fradet P. ACM Trans. on Programming Languages and Systems 27.11.1998
П A Taxonomy of Functional Language Implementations. Part I: Call by Value 1996 Douence R., Fradet P. INRIA 23.12.1997
СТ Type Checking for a Multiset Rewriting Language 1997 Fradet P., Le Metayer D. Lecture Notes in Computer Science 20.02.1997
СТ Static Detection of Pointer Errors: An Axiomatisation and a Cheking Algorithm 1996 Fradet P., Gaugne R., Le Metayer D. Lecture Notes in Computer Science 18.05.1996
СТ Towards a Taxonomy of Functional Language Implementations 1995 Douence R., Fradet P. Lecture Notes in Computer Science Programming Languages: Implementations, Logics and Programs 16.11.1995
СТ Collecting More Garbage 1994 Fradet P. LISP Pointers 13.01.1995
СТ Compilation of Head and Strong Reduction 1994 Fradet P. Lecture Notes in Computer Science 06.05.1994
СТ Compilation de programmes fonctionnels par transformation de programmes 1990 Fradet P., Le Metayer D. BIGRE 07.02.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Unconventional Programming Paradigms: Revised Selected and Invited Papers/International Workshop, UPP 2004. Le Mont Saint Michel, France, September 2004 2005 Lecture Notes in Computer Science
  1. Banatre J. -P.
  2. Fradet P.
  3. Giavitto J. -L.
  4. Michel O.
25.10.2005