Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages |
| |
Authors: | Stephen Gilmore Olha Shkaravska |
| |
Affiliation: | aLaboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh EH9 3JZ, Scotland;bLudwig-Maximilians-Universität München, Lehr- und Forschungseinheit Theoretische Informatik, Oettingenstraße 67, D-80538 München, Bundesrepublik Deutschland |
| |
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. |
| |
Keywords: | Resource-bounded functional programming languages native method calls object-oriented virtual machine |
本文献已被 ScienceDirect 等数据库收录! |