Abstract
We discuss a data type specification language DSL(∑) which is
obtained from the first order language L(∑) for a given signature ∑ by
augmenting it with schemes.
A specification is a pair (∑, IF) with IF a finite set of axioms in DSL(∑).
As semantics of such specifications we propose: standard model semantics,
SMS.
We investigate
... read more