Lambda the Ultimate

Executable Implementation of Scheme Denotational Semantics
started 11/10/2002; 3:40:05 AM - last post 11/10/2002; 10:18:19 PM

Ehud Lamm - Executable Implementation of Scheme Denotational Semantics

11/10/2002; 3:40:05 AM (reads: 1557, responses: 1)

Executable Implementation of Scheme Denotational Semantics

Anton van Straaten: I've implemented an executable translation of the R5RS denotational semantics (DS) into Scheme. By itself, that's not a very usable thing, so I've also built a small Scheme interpreter around this semantic core.

The code and documentation is at http://www.appsolutions.com/SchemeDS/ (but I had problems with the PDF file).

Posted to theory by Ehud Lamm on 11/10/02; 3:41:03 AM

Anton van Straaten - Re: Executable Implementation of Scheme Denotational Semantics

11/10/2002; 10:18:19 PM (reads: 550, responses: 0)

I've found that the PDF doesn't load correctly into MS Internet Explorer, but loads into Adobe Acrobat OK. I've posted PostScript and DVI versions of the document on the website.