Skip to main content

A Python implementation of the toy languages used in Part IB "Semantics of Programming Languages" (2020 - 2021)

Project description

semantics2021_toy_languages

A Python implementation of the toy languages used in Part IB "Semantics of Programming Languages" (2020 - 2021)

Source hosted at: https://github.com/MitalAshok/semantics2021_toy_languages
Package hosted at: https://pypi.org/project/semantics2021-toy-languages/


Use as a module, like:

$ python3 -m semantics2021_toy_languages --help

You should use a file like example.L1:

l -> 1234, l0 -> -134, l1 -> 123
!l + !l0 + !l1

Where the first line is the initial mappings, and any subsequent lines an L1 expression.

See examples/ for more examples.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

semantics2021_toy_languages-1.1.0.tar.gz (11.8 kB view hashes)

Uploaded Source

Built Distribution

semantics2021_toy_languages-1.1.0-py3-none-any.whl (12.4 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page