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
- Static prediction of heap space usage for first-order functional programsjoint work with Steffen Jost,
-
- 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.
- Linear types and non-size increasing polynomial time computation. Expanded journal version of the LICS'99 paper described below.
-
- 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.
- 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.
-
- Linear types and non-size-increasing polynomial time computation.
Proceedings of LICS '99
- Linear types and non-size-increasing polynomial time computation.
-
- 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.
- Type systems for polynomial-time computation. Habilitation thesis. Darmstadt, 1999. Appeared as LFCS Technical Report ECS-LFCS-99-406.
没有评论:
发表评论