Semantics using ML

• To: types@theory.LCS.MIT.EDU
• Subject: Semantics using ML
• From: gunter@central.cis.upenn.edu (Carl Gunter)
• Date: Wed, 21 Jun 89 10:42:01 EDT
• In-Reply-To: John C. Mitchell's message of Tue, 20 Jun 89 19:55:39 EDT <8906202355.AA00815@stork.LCS.MIT.EDU>
• Sender: meyer@theory.LCS.MIT.EDU

Date: Tue, 20 Jun 89 22:22:16 -0400

I used ML as a semantic specification language for my PLT course.  It
worked quite well.  Semantic equations for Mike Gordon's Tiny and
Small are not difficult to write in ML and further extensions can be
assigned as exercises.  Allison's book "A practical introduction to
denotational semantics" could also be a usable source.  There is a
full ML denotational specification of a little Pascal-like language in
Huet's CMU lecture notes as well.

It would be handy to have exercises of this kind that made use of the
new Standard ML of New Jersey parser generator.

carl gunter

• Prev: Semantics using ML
• Next: Semantics using ML
• Index(es):
  • Main
  • Thread