 | 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:
Semantic models and abstract interpretation 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page