 | 2009 |
|---|
| 8 |       | Olha Shkaravska,
Marko C. J. D. van Eekelen,
Ron van Kesteren:
Polynomial Size Analysis of First-Order Shapely Functions
Logical Methods in Computer Science 5(2): (2009) |
| 2008 |
|---|
| 7 | | Ron van Kesteren,
Olha Shkaravska,
Marko C. J. D. van Eekelen:
Inferring Static Non-monotone Size-aware Types Through Testing.
Electr. Notes Theor. Comput. Sci. 216: 45-63 (2008) |
| 2007 |
|---|
| 6 | | Olha Shkaravska,
Ron van Kesteren,
Marko C. J. D. van Eekelen:
Polynomial Size Analysis of First-Order Functions.
TLCA 2007: 351-365 |
| 2006 |
|---|
| 5 | | Stephen T. Gilmore,
Olha Shkaravska:
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages.
Electr. Notes Theor. Comput. Sci. 151(3): 27-45 (2006) |
| 2005 |
|---|
| 4 | | Olha Shkaravska:
Types with semantics: soundness proof assistant.
MERLIN 2005: 50-57 |
| 3 |  | Donald Sannella,
Martin Hofmann,
David Aspinall,
Stephen Gilmore,
Ian Stark,
Lennart Beringer,
Hans-Wolfgang Loidl,
Kenneth MacKenzie,
Alberto Momigliano,
Olha Shkaravska:
Mobile Resource Guarantees (project evaluation paper).
Trends in Functional Programming 2005: 211-226 |
| 2004 |
|---|
| 2 | | Lennart Beringer,
Martin Hofmann,
Alberto Momigliano,
Olha Shkaravska:
Automatic Certification of Heap Consumption.
LPAR 2004: 347-362 |
| 1 | | A. John Power,
Olha Shkaravska:
From Comodels to Coalgebras: State and Arrays.
Electr. Notes Theor. Comput. Sci. 106: 297-314 (2004) |
