论文信息 - Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing - 字舞流文

Relation-Sorted Algebraic Specifications with Built-in Coercers: Parameterization and Parameter Passing

A relation-sorted (algebraic) specification SPEC consists of a signature, a set of equations and an arbitrary relation ⊳ on the sorts. If s⊳s' for two sorts s,s', then an operator ⊳:As → As, is assumed in every relation-sorted SPEC-algebra A.

[1] Hartmut Ehrig,et al. A Kernel Language for Algebraic Specification and Implementation , 1983, ADT.

[2] Axel Poigné,et al. Parametrization for Order-Sorted Algebraic Specification , 1990, J. Comput. Syst. Sci..

[3] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[4] H. Kreowski,et al. Pushout-Properties: An analysis of gluing constructions for graphs , 1979 .

[5] Edward K. Blum,et al. The Semantics of Shared Submodules Specifications , 1985, TAPSOFT, Vol.1.

[6] H. Herrlich,et al. Category theory : an introduction , 1973 .

[7] Hartmut Ehrig,et al. Algebraic Specification of Modules and Their Basic Interconnections , 1987, J. Comput. Syst. Sci..

[8] Hans-Jörg Kreowski,et al. Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results , 1990, STACS.

[9] George Gratzer,et al. Universal Algebra , 1979 .