algebraic specification

Show Summary Details

Quick Reference

A special type of axiomatic specification in which the axioms are equations or conditional equations. See also module specification.

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.