From Call-by-Value to Interaction by Typed Closure Conversion

8 years 11 days ago

Download www2.tcs.ifi.lmu.de

Abstract. We study the efﬁcient implementation of call-by-value using the structure of interactive computation models. This structure has been useful in applications to resource-bounded compilation, but much of the existing work in this area has focused on call-by-name programming languages. This paper works towards the goal of a simple, efﬁcient treatment of call-by-value languages. In previous work we have studied CPS-translation as an approach to implementing call-byvalue and have observed that it needs to be reﬁned in order to achieve efﬁcient space usage. In this paper we give an alternative presentation of the reﬁned translation, which is close to existing methods of typed closure conversion. We show that a simple correctness proof following Benton and Hur is possible for this formulation. Moreover, we extend previous work to cover full recursion in the source language.

Ulrich Schöpp

Real-time Traffic