Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages

Authors:
Stephen Gilmore;Olha Shkaravska
Affiliations:
Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh EH9 3JZ, Scotland;Ludwig-Maximilians-Universität München, Lehr- und Forschungseinheit Theoretische Informatik, Oettingenstraße 67, D-80538 München, Bundesrepublik Deutschland
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 6
Cited 0

Calling hell from heaven and heaven from hell

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Stochastic lambda calculus and monads of probability distributions

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static prediction of heap space usage for first-order functional programs

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Another Type System for In-Place Update

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A type system for bounded space and functional in-place update

Nordic Journal of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in low-level languages without garbage collection support. We consider the application of a functional language with a high-level type system which incorporates measures of heap space consumption in types on such an execution platform. We supplement the syntactic type inference procedure of the functional language with a separate analysis which estimates the costs of memory leaks incurred by calls to garbage collection-ignorant functions.