Algebraic Theory of Parameterized Specifications with Requirements
暂无分享,去创建一个
[1] Hartmut Ehrig,et al. A Kernel Language for Algebraic Specification and Implementation , 1983, ADT.
[2] Manfred Broy,et al. Abstract Data Types as Lattices of Finitely Generated Models , 1980, MFCS.
[3] Richard D. Jenks. MODLISP -- an introduction (invited) , 1979, EUROSAM.
[4] Peter Raulefs,et al. Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities , 1981, CAAP.
[5] Joseph A. Goguen,et al. Putting Theories Together to Make Specifications , 1977, IJCAI.
[6] M. Arbib,et al. Arrows, Structures, and Functors: The Categorical Imperative , 1975 .
[7] Hans-Dieter Ehrich,et al. Constructive Specifications of Abstract Data Types by Replacements , 1978, Graph-Grammars and Their Application to Computer Science and Biology.
[8] Hartmut Ehrig,et al. Stepwise Specification and Implementation of Abstract Data Types , 1978, ICALP.
[9] Joseph A. Goguen,et al. The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.
[10] Hans-Dieter Ehrich. On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types , 1982, JACM.
[11] James W. Thatcher,et al. Data Type Specification: Parameterization and the Power of Specification Techniques , 1982, TOPL.
[12] Horst Reichel,et al. Initially-Restricting Algebraic Theories , 1980, MFCS.