Re: A simple IMP intepreter in Prolog

Jorgen Iversen <jive@daimi.au.dk>
27 Oct 2003 16:00:28 -0500

          From comp.compilers
Related articles
A simple IMP intepreter in Prolog silvio@bluecodes.com (Silvio Mazzaro) (2003-10-18)
Re: A simple IMP intepreter in Prolog jive@daimi.au.dk (Jorgen Iversen) (2003-10-27)
Re: A simple IMP intepreter in Prolog paulo.pinto@cern.ch (Paulo Pinto) (2003-10-27)
| List of all articles for this month |
From: Jorgen Iversen <jive@daimi.au.dk>
Newsgroups: comp.compilers
Date: 27 Oct 2003 16:00:28 -0500
Organization: University of Aarhus, Department of Computer Science (DAIMI)
References: 03-10-094
Keywords: interpreter, functional
Posted-Date: 27 Oct 2003 16:00:28 EST

Silvio Mazzaro <silvio@bluecodes.com> writes:
> I was searching for some example code which could help me in writing
> an intepreter in prolog, for a simple imperative language.


In the language and semantics course at the Computer Science
Department of Aarhus University Prolog is used to implement Modular
SOS rules for a subset of Standard ML. Perhaps you can get some
inspiration from this.


Lecture notes and source code is available from


http://wiki.daimi.au.dk:8000/dSprogSem-02/fundamental_concepts_and_.wiki?cmd=get&anchor=Fundamental+concepts+and+formal+semantics+of+programming+languages


--
Jørgen Iversen http://www.brics.dk/~jive
===========================================================
Augustenborggade 21 C 1.mf. Hjem: +45 87341159
8000 Århus C Kontor: +45 89423234
Danmark

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.