Program Composition Notation
プログラム例
可変変数 m の内容がリスト x の要素であれば true(1) を、そうでなければ false(0) を返すプログラムの例を以下に示す。
member(x,m,r)int m, r;{? x ?= []             -> r:= false,
   x ?= [vlxs], v == m -> r:= true,
   x ?= [vlxs], v != m -> member(xs, m, r)}
二分木（バイナリツリー）t の高さ z を求めるプログラムの例を以下に示す。ツリーの要素は {left, val, right} か空のタプルで表現されているものとする。各枝の深さは並行して計算され、定義変数 l と r によりheightの実行とｚの計算との同期が行われる。
height(t,z){? t ?= { }                -> z = 0,
   t ?= {left, val, right} -> {|| height(left, l), height(right, r),
                                 {? l >= r -> z = 1 + l,
                                    r >= l -> z = 1 + r
                                 }
        }}