| 2007 |
|---|
| 3 | EE | Stephan Herhut,
Sven-Bodo Scholz,
Robert Bernecky,
Clemens Grelck,
Kai Trojahner:
From Contracts Towards Dependent Types: Proofs by Partial Evaluation.
IFL 2007: 254-273 |
| 2006 |
|---|
| 2 | EE | Robert Bernecky,
Stephan Herhut,
Sven-Bodo Scholz,
Kai Trojahner,
Clemens Grelck,
Alexander V. Shafarenko:
Index Vector Elimination - Making Index Vectors Affordable.
IFL 2006: 19-36 |
| 2005 |
|---|
| 1 | EE | Alexander V. Shafarenko,
Sven-Bodo Scholz,
Stephan Herhut,
Clemens Grelck,
Kai Trojahner:
Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences.
IFL 2005: 160-177 |
