PLATFORM International Outgoing Fellowship

Gaboardi, Marco (Investigator)
Komendantskaya, Ekaterina (Investigator)

Computing

1 Article

1 results

2015
On bounding space usage of streams using interpretation analysis
Gaboardi, M. & Péchoux, R., 1 Nov 2015, In: Science of Computer Programming. 111, 3, p. 395-425 31 p.
Research output: Contribution to journal › Article › peer-review
2 Citations (Scopus)