Universal Realization, Persistent Interconnection and Implementation of Abstract Modules
暂无分享,去创建一个
[1] Edsger W. Dijkstra,et al. Notes on structured programming , 1970 .
[2] Lawrence Robinson,et al. An example of hierarchical design and proof , 1978, CACM.
[3] Joseph A. Goguen,et al. Putting Theories Together to Make Specifications , 1977, IJCAI.
[4] Hartmut Ehrig,et al. A Kernel Language for Algebraic Specification and Implementation , 1983, ADT.
[5] Joseph A. Goguen,et al. The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.
[6] Hartmut Ehrig,et al. Parameter Passing in Algebraic Specification Languages , 1981, Theor. Comput. Sci..
[7] Ugo Montanari,et al. Observability Concepts in Abstract Data Type Specifications , 1976, MFCS.
[8] Hartmut Ehrig,et al. Algebraic Theory of Parameterized Specifications with Requirements , 1981, CAAP.
[9] James W. Thatcher,et al. Data Type Specification: Parameterization and the Power of Specification Techniques , 1982, TOPL.
[10] Joseph A. Goguen,et al. Abstract Errors for Abstract Data Types , 1977, Formal Description of Programming Concepts.
[11] Joseph A. Goguen,et al. Mathematical Representation of Hierarchically Organized Systems , 1970 .
[12] Peter Raulefs,et al. Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities , 1981, CAAP.
[13] Ulrich L. Hupbach. Abstract Implementation of Abstract Data Types , 1980, MFCS.
[14] Hans-Dieter Ehrich,et al. On Realization and Implementation , 1981, MFCS.
[15] Lawrence Robinson,et al. The SRI International Hierarchical Development Handbook. Volume II. The Languages and Tools of HDM. , 1979 .
[16] C. A. R. Hoare,et al. Proof of correctness of data representation , 1975, Language Hierarchies and Interfaces.
[17] D. L. Parnas,et al. On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.
[18] Jesse B. Wright,et al. Automata in General Algebras , 1967, Inf. Control..
[19] Samuel N. Kamin. Final Data Types and Their Specification , 1983, TOPL.
[20] J. A. Goguen,et al. Completeness of many-sorted equational logic , 1981, SIGP.
[21] Jean Benabou,et al. Structures algébriques dans les catégories , 1968 .
[22] George Gratzer,et al. Universal Algebra , 1979 .
[23] Law Fw. FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963 .
[24] Samuel N. Kamin. Final data type specifications: a new data type specification method , 1980, POPL '80.
[25] Mitchell Wand,et al. Final Algebra Semantics and Data Type Extensions , 1979, J. Comput. Syst. Sci..
[26] John V. Guttag,et al. The specification and application to programming of abstract data types. , 1975 .
[27] Robin Milner,et al. An Algebraic Definition of Simulation Between Programs , 1971, IJCAI.