Preccs言語は核言語に変換される．

文Sの定義は以下の通り．

S ::= skip
    | return E
    | x := E
    | S ; S
    | if E then S else S end
    | local x1 = E; ... in S end
    | callcc c in S end
    | jump c
    | spawn S
    | E (E,...)    // プロセス呼び出し

式Eの定義は以下の通り．

E ::= V
    | if E then E else E end
    | let x1 = E; ... in E end
    | O (E,...)    // プリミティブ +,-,*,/ etc
    | E (E,...)    // 関数適用

値Vの定義は以下の通り．

V ::= c | x
    | proc x1,... is S end