PLATFORM International Outgoing Fellowship

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

Project Details

StatusFinished
Effective start/end date1/10/1331/07/14

Funding

  • COMMISSION OF THE EUROPEAN COMMUNITIES (272487): £64,448.00

Research Output

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 journalArticle

  • 1 Citation (Scopus)