2 research outputs found
Standard model semantics for DSL, a data type specification language
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 DSL/SMS as a specification mechanism for data types
and compare it with both first order and algebraic specifications. A concise
theory of parametrized data types is developed in this context