従来の高位合成は、固定サイズの配列、構造体等静的なデータ構造を使ったプログラムを合成するだけであった。 万能高位合成は動的データ構造や再起関数等、ヒープ領域やスタック領域を利用したプログラムも合成可能である。