Add to ORKGThe following full text is an author's version which may differ from the publisher's version. For additional information about this publication click this link
We present a type system for a compile-time analysis of heap-space requirements of Java style object...
We study the problem of automatically analyzing the worst-case resource usage of procedures with sev...
The following full text is an author's version which may differ from the publisher's versi...
Contains fulltext : 72667.pdf (author's version ) (Open Access)8th International S...
Contains fulltext : 35243.pdf (preprint version ) (Open Access
The prediction of resource consumption in programs has gained interest in the last years. It is impo...
Controlling resource usage is important for the reliability, efficiency and security of software sys...
Abstract. We present a type system for a compile-time analysis of heap-space requirements of Java st...
The following full text is a preprint version which may differ from the publisher's version
Abstract. Proving bounds on the resource consumption of a program by statically analyzing its source...
This paper describes a general approach for optimized live heap space and live heap space-bound anal...
Abstract This paper describes a general approach for optimized live heap space and live heap space-b...
Pitt, M. A., Kim, W., Navarro, D. J. & Myung, J. I. (2006). Global model analysis by parameter s...
The following full text is a publisher's version. For additional information about this publica...
This is the artifact corresponding to the article entitled "A High-Level Separation Logic for Heap S...
We present a type system for a compile-time analysis of heap-space requirements of Java style object...
We study the problem of automatically analyzing the worst-case resource usage of procedures with sev...
The following full text is an author's version which may differ from the publisher's versi...
Contains fulltext : 72667.pdf (author's version ) (Open Access)8th International S...
Contains fulltext : 35243.pdf (preprint version ) (Open Access
The prediction of resource consumption in programs has gained interest in the last years. It is impo...
Controlling resource usage is important for the reliability, efficiency and security of software sys...
Abstract. We present a type system for a compile-time analysis of heap-space requirements of Java st...
The following full text is a preprint version which may differ from the publisher's version
Abstract. Proving bounds on the resource consumption of a program by statically analyzing its source...
This paper describes a general approach for optimized live heap space and live heap space-bound anal...
Abstract This paper describes a general approach for optimized live heap space and live heap space-b...
Pitt, M. A., Kim, W., Navarro, D. J. & Myung, J. I. (2006). Global model analysis by parameter s...
The following full text is a publisher's version. For additional information about this publica...
This is the artifact corresponding to the article entitled "A High-Level Separation Logic for Heap S...
We present a type system for a compile-time analysis of heap-space requirements of Java style object...
We study the problem of automatically analyzing the worst-case resource usage of procedures with sev...
The following full text is an author's version which may differ from the publisher's versi...