| Acta lnformatica 19. 97-113 (1983} Standard Model Semantics for DSL A Data Type Specification Language (2008) | |||||||||||||
Abstract | |||||||||||||
| Summary. 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 (Z, 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. | |||||||||||||
Publication details | |||||||||||||
| |||||||||||||