How to be correct, lazy and efficient ?

Details How to be correct, lazy and efficient ? How to be correct, lazy and efficient ?

2007-07-25

arxiv.org/abs/0707.3807v1

Computer Science

Programming Languages

21 pages

Scientific paper

This paper is an introduction to Lambdix, a lazy Lisp interpreter implemented at the Research Laboratory of Paris XI University (Laboratoire de Recherche en Informatique, Orsay). Lambdix was devised in the course of an investigation into the relationship between the semantics of programming languages and their implementation; it was used to demonstrate that in the Lisp domain, semantic correctness is consistent with efficiency, contrary to what has often been claimed. The first part of the paper is an overview of well-known semantic difficulties encountered by Lisp as well as an informal presentation of Lambdix; it is shown that the difficulties which Lisp encouters do not arise in Lambdix. The second part is about efficiency in implementation models. It explains why Lambdix is better suited for lazy evaluation than previous models. The section ends by giving comparative execution time tables.

Affiliated with

Also associated with

No associations

Rating

How to be correct, lazy and efficient ? does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with How to be correct, lazy and efficient ?, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and How to be correct, lazy and efficient ? will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-547509