Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages

[1]  Hartmut Ehrig,et al.  On Recent Trends in Algebraic Specification , 1989, ICALP.

[2]  Donald Sannella,et al.  Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract) , 1989, TAPSOFT, Vol.2.

[3]  Martin Wirsing,et al.  Implementation of Parameterised Specifications (Extended Abstract) , 1982, ICALP.

[4]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[5]  Joseph A. Goguen,et al.  The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.

[6]  Hartmut Ehrig,et al.  Theory of Algebraic Module Specification including Behavioral Semantics and Constraints , 1991, AMAST.

[7]  Fernando Orejas,et al.  Development of Algebraic Specifications with Constraints , 1988, Categorial Methods in Computer Science.

[8]  Joseph A. Goguen,et al.  Introducing Institutions , 1983, Logic of Programs.

[9]  Hartmut Ehrig,et al.  Algebraic Theory of Parameterized Specifications with Requirements , 1981, CAAP.

[10]  Hans-Dieter Ehrich.  On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types , 1982, JACM.

[11]  Martin Wirsing,et al.  Structured Algebraic Specifications: A Kernel Language , 1986, Theor. Comput. Sci..

[12]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[13]  Joseph A. Goguen,et al.  Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories , 1991, Theor. Comput. Sci..

[14]  Hubert Baumeister,et al.  Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution , 1991, TAPSOFT, Vol.1.

[15]  Jan A. Bergstra,et al.  Module algebra , 1990, JACM.

[16]  Horst Reichel,et al.  Initially-Restricting Algebraic Theories , 1980, MFCS.

[17]  Hartmut Ehrig,et al.  Parameter Passing in Algebraic Specification Languages , 1984, Theor. Comput. Sci..