Portal de Periódicos da CAPES

Compiling Mercury to the .NET Common Language Runtime

2001; Elsevier BV; Volume: 59; Issue: 1 Linguagem: Inglês

10.1016/s1571-0661(05)80757-1

1571-0661

Tyson Dowd, Fergus Henderson, Peter S. Ross,

Distributed systems and fault tolerance

The .NET Common Language Runtime (CLR) offers a new opportunity to experiment with multi-language interoperation, and provides a relatively rare chance to explore deep interoperation of a wide range of programming language paradigms. This article describes how the logic/functional programming language Mercury is compiled to the CLR. We describe the problems we have encountered with generating code for the CLR, give some preliminary benchmark results, and suggest some possible improvements to the CLR regarding separate compilation, verifiability, tail calls, and efficiency.