Research output per year
Research output per year
MR.
Doctor of Philosophy (PhD), Type-based amortized stack memory prediction, University of Edinburgh
Award Date: 1 Jan 2008
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Hammond, A. (Creator), Almeida, R. (Creator), Bauereiss, T. (Creator), Campbell, B. (Creator), Stark, I. (Creator) & Sewell, P. (Creator), Zenodo, 18 Mar 2025
Dataset