Some papers of Martin Hofmann on Resource Bounded Computation

http://www.dcs.ed.ac.uk/home/resbnd/papers/martin.html

Some papers of Martin Hofmann on Resource Bounded Computation

• Static prediction of heap space usage for first-order functional programsjoint work with Steffen Jost,
  accepted for POPL'03
  
  





• The strength of non size-increasing computation
  ps , pdf
  Proceedings of 17th Annual IEEE Symposium on Logic in Computer Science, 2002
  





• Linear types and non-size increasing polynomial time computation. Expanded journal version of the LICS'99 paper described below.
  To appear in Theoretical Computer Science.
  





• A type system for bounded space and functional in-place update or "how to compile functional programs into malloc()-free C"To appear in the Nordic Journal of Computing.
  A previous version was presented at ESOP '00.
  





• Linear types and non-size-increasing polynomial time computation.
  Proceedings of LICS '99
  





• Type systems for polynomial-time computation. Habilitation thesis. Darmstadt, 1999. Appeared as LFCS Technical Report ECS-LFCS-99-406.
  An abridged and updated version will appear under the title Safe recursion with higher types and BCK algebra in Annals of Pure and Applied Logic.