Algebraic specification とは

代数仕様は、正式にシステム動作を指定するためのソフトウェア工学技術です。代数仕様では、より効率的なプログラムを体系的に開発しようとしています。
 (メモリ内の)表現の大きさ、計算を公式化する計算の結果を得る効率、正式に操作を制限することによる自動化を可能にするデータ型の操作など、実装の詳細を抽象化するデータ型の数式演算この限られた振る舞いとデータ型の組
代数仕様は、1つ以上のデータ型を定義し、それらのデータ型で動作する関数の集合を指定することによって、これらの目標を達成します。これらの関数は、2つのクラスに分けることができます。
 コンストラクタ関数:データ要素を作成または初期化する関数、またはより簡単な要素から複雑な要素を構築する関数:データ型で動作し、コンストラクタ関数の観点から定義される関数。