Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/jayconrod/imp-interpreter below:

jayconrod/imp-interpreter: A minimal interpreter for the toy language, IMP, used as an example for building interpreters.

IMP is a simple, minimal programming language. It was taught to me in a class in grad school on proving semantics of programming languages. I decided to write a simple interpreter for it as a running example in a series of blog posts on building interpreters.

IMP programs have three syntactic entities:

• Statements
• Arithmetic expressions (aexps)
• Boolean expressions (bexps)

A program consists of a single statement, but statements can contain other statements. Arithmetic expressions are simple expressions that evaluate to integers. Boolean expressions evaluate to true or false. There are no values, other than integers and Booleans.

Variables may be assigned in IMP. All variables are global. There are no functions or scopes, so non-global variables wouldn't really make sense anyway. When an IMP program is finished executing, the interpreter prints the value of each variable. There is no other way for IMP programs to interact with the outside world.

• Assignment statement: sets a variable to an integer obtained by evaluating an aexp.

• Compound statement: two sub-statements, separated by a semicolon. Multiple statements may be chained together with this.

• If statement: a bexp condition and two sub-statements, separated by else. If the condition evaluates to true, the first statement is executed. Otherwise, the second statement is executed.

if a < b then
  x := 1
else
  y := 2
end

• While statement: a bexp condition and a loop body sub-statement. If the condition evaluates to true, the loop body is executed. This is repeated until the condition evaluates to false.

while x > 0 do
  x := x - 1
end

• Integer literal expression: just an integer that evaluates to itself.

• Variable expression: evaluates to the current value of a variable. If the variable has not been assign, evaluates to 0.

• Binary operator expression: performs an arithmetic operation (+, -, *, /) on two sub-aexps.

• Relational operator expression: performs a relational operation (<, <=, >, >=, =, !=) on two sub-aexps.

• And expression: two sub-bexps separated by and. Evaluates to true if both sub-expressions evaluate to true.

• Or expression: two sub-bexps separated by or. Evaluates to true if either sub-expression evaluates to true.

• Not expression: a sub-bexp, prefixed by not. Evaluates to the opposite of whatever the sub-expression evaluates to.

TODO: write this section after refactoring.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4