2007 |
6 | | Alain Deutsch,
Klaus Wissing:
New test approach for embedded applications.
Software Engineering (Workshops) 2007: 127-136 |
1997 |
5 | EE | Alain Deutsch:
On the Complexity of Escape Analysis.
POPL 1997: 358-371 |
1995 |
4 | | Alain Deutsch:
An Overview of Semantic Models and Static Analysis Techniques for Inductive Data Structures and Pointers.
PEPM 1995: 226-229 |
1994 |
3 | | Alain Deutsch:
Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting.
PLDI 1994: 230-241 |
1991 |
2 | | Alain Deutsch:
An Operational Model of Strictness Properties and Its Abstractions (Extended Abstract).
Functional Programming 1991: 82-99 |
1990 |
1 | | Alain Deutsch:
On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications.
POPL 1990: 157-168 |