Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Language semantics based on graph representations

Email Gateway (Aug 17 2022 at 14:46):

From: Martin Ellis <m.a.ellis@ncl.ac.uk>
Hi,

In the tutorial and - if I recall correctly - the "Winskel is right (almost)"
literature there are examples of programming language semantics where the
abstract syntax is defined using datatype constructors.

Giving a semantics to a language that uses mutually recursive datatypes to
represent commands, arithmetic and Boolean expressions seems relatively
straight-forward using these as references.

Last updated: May 03 2024 at 04:19 UTC