 | 2007 |
|---|
| 6 |       | Alain Deutsch,
Klaus Wissing:
New test approach for embedded applications.
Software Engineering (Workshops) 2007: 127-136 |
| 1997 |
|---|
| 5 |  | 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 |
