BLISS
IF 式によって値のテストが行われる。同値かどうかの比較は EQL を使い( = 記号はオーバーロードされていない)、GTR は greater than、NEQ は not equal に対応する。例えば、次のコードは Z の値を絶対値を Q で示されるアドレスに代入する。
識別子(変数と定数)は使用する前に宣言する必要があり、一般に OWN というキーワードを用いる。変数を宣言する部分では、コンパイラはその領域を確保する。場合によっては BIND というキーワードを使って固定アドレスに変数を割り当てる。これは、マシンのレジスタや特定のアドレスにアクセスするのに使われる。
サブルーチンは routines と呼ばれ、ROUTINE というキーワードで宣言される。文字列置換を行うマクロは MACRO というキーワードで宣言される。配列は structures と呼ばれ、VECTOR というキーワードで宣言される。
他にも次のような構成要素がある。
CASE 式
INCR 式を使ったループ構造。ALGOL の FOR 文に似ている。
組み込みの文字列関数や自動データ変換(数値から文字列など)