Language "SIMPLE-THR"

Syntax
  V : value ::= bool | int | string

      bool ::= 'false' | 'true'
Lexis
  Z : int ::= ('0'-'9')+
Syntax
      string ::= '"'_string-chars_'"'
Lexis
  S : string-chars ::= (~'"')*

Semantics
  val[[ _:value ]] : =>values

Rule
  val[[ 'false' ]] = false
Rule
  val[[ 'true' ]] = true

Rule
  val[[ Z ]] = decimal-natural(\"Z\")

Rule
  val[[ '"' S '"' ]] = \"S\"

Lexis
  Id : id ::= ('A'-'Z'|'a'-'z'|'_') ('0'-'9'|'A'-'Z'|'a'-'z'|'_')*

Semantics
  id[[ _:id ]] : =>ids
Rule
  id[[ Id ]] = \"Id\"

Lexis
  keyword ::= 'false' | 'true' | 'var' | 'function' | 'sizeOf' | 'read'
           | 'spawn' |  'if' | 'else' | 'while' | 'for' | 'print' | 'return'
           | 'try' | 'catch' | 'throw' | 'join' | 'acquire' | 'release'
           | 'rendezvous'