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

Project description

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.

This version

1.1.0

Nov 23, 2020

1.0.1

Nov 23, 2020

1.0.0

Nov 23, 2020

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

Uploaded Nov 23, 2020 Source

Uploaded Nov 23, 2020 Python 3

Details for the file semantics2021_toy_languages-1.1.0.tar.gz.

Download URL: semantics2021_toy_languages-1.1.0.tar.gz
Upload date: Nov 23, 2020
Size: 11.8 kB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.20.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.6.9

Hashes for semantics2021_toy_languages-1.1.0.tar.gz
Algorithm	Hash digest
SHA256	`e04c3f14bf73b84e6de8424cf041b04a2c9ba50f2a0b18bc33d732224ec4d34a`
MD5	`3c5efaab906869ea49d0984cf73e54d2`
BLAKE2b-256	`f27a5212bfafc554fc9fba64390927cdaca7922f0628a989ac79af91dc501185`

Details for the file semantics2021_toy_languages-1.1.0-py3-none-any.whl.

Download URL: semantics2021_toy_languages-1.1.0-py3-none-any.whl
Upload date: Nov 23, 2020
Size: 12.4 kB
Tags: Python 3
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.20.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.6.9

Hashes for semantics2021_toy_languages-1.1.0-py3-none-any.whl
Algorithm	Hash digest
SHA256	`472e1730668d8c9102191080a5a2e7b114b877ddae298245532457fe1dbc2a71`
MD5	`673ed015acb94648d8da9392c28dc356`
BLAKE2b-256	`9bcb341b0c6aa6c941f070ba870a5e97aa697e5b9929ec8030de4ac6c634e280`