Alain Deutsch

Statistics

Publications

Citations

527

H-Index

Active since

1994

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Alain Deutsch is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and programming languages.

Publications per year

1994–2003

Publications

Interprocedural may-alias analysis for pointers

Alain Deutsch · 1994 · 326 citations

Computing, Computer Science, Algorithms +8

Interprocedural may-alias analysis for pointers

Alain Deutsch · ACM SIGPLAN Notices · 1994 · 63 citations

Computing, Computer Science, Algorithms +8

On the complexity of escape analysis

Alain Deutsch · 1997 · 58 citations

Computing, Computer Science, Algorithms +16

STATIC VERIFICATION OF DYNAMIC PROPERTIES

Alain Deutsch · 2003 · 42 citations

Computing, Computer Engineering, Computer Science +9

Semantic models and abstract interpretation techniques for inductive data structures and pointers

Alain Deutsch · 1995 · 28 citations

Computing, Computer Science, Data Structures +10

1–5 of 6