Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Baumeister, H.: Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution. Proc. TA PS OFT 91, Brighton. Springer LNCS 493, pp. 103–120, 1991.
Burstall, R.M.; Goguen, J.A.: The semantics of Clear, a specification language, Proc. Copenhagen Winter School on Abstract Software Specification, Springer LNCS 86, pp. 292–332, 1980.
Burstall, R.M.; Goguen, I.A.; Tarlecki, A.: Some Fundamental Algebraic Tools for the Semantics of Computation, Part 3: Indexed Categories. Theor. Comp. Sc 91 (1991) 239–264.
Bergslra, J.A.; Heering, J.; Klint, R.: Module Algebra, JACM37, 2 (1990) 335–372.
Ehrig, H.; Baldamus, M.; Cornelius, F.; Orejas, F.: Theory of Algebraic Module Specifications including Behavioural Semantics and Constraints, Proc. AMAST'91, to appear in Springer LNCS 1991
Enrich, H.-D.: On the theory of specification, implementation and parameterization of abstract data types. JACM 29, pp. 209–277, (1982)
Ehrig, H.: Algebraic theory of parameterized specifications with requirements, Proc. 6th. CAAP, Springer LNCS 112. (1981) 1–24.
Ehrig; H.; Kreowski, H.-J.; Thatcher, J.; Wagner, E. Wright, J.: Parameter passing in algebraic specification languages. Theor. Comp. Science 28, 45–81, (1984)
Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1. EATCS Monographs on Theoretical Computer Science, Springer 1985
Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2. EATCS Monographs on Theoretical Computer Science, Springer (1990)
Ehrig, H.; Pepper, P.; Orejas, F.: On Reccnt Trends in Algebraic Specification, Proc. ICALP'89, Springer LNCS 372 (1989), pp. 263–288
Ehrig, H., Wagner, E. G. Thatcher: J.W. Algebraic constraints for specifications and canonical form results, Institut für Software und Theoretische Informatik, T.U. Berlin Bericht Nr. 82-09, 1982.
Goguen, J.A.; Burstall, R.M.: Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, Springer (1984), 221–256
Goguen, J.A.; Burstall, R.M.: Institutions: abstraact model theory for specification and programming. JACM 39, 1 (1992) 95–146.
Orejas, F.; Sacristán, V.; Clerici, S.: Development of algebraic specifications with constraints, in 'Categorical Methods in Computer Science — with Aspects from Topology', (H. Ehrig, H. Herrlich, H.-J. Kreowski, G. Preuß, eds.), LNCS 393 (1989)
Reichel, H.: Initially restricting algebraic theories, Proc. MFCS 80, Springer LNCS 88 (1980), pp. 504–514.
Sannella, D.; Sokolowski, S.; Tarlecki, A.: Toward formal development of programs from algebraic specifications: parameterisation revisited. To appear in Acta Informatica.
Sannella, D.; Tarlecki, A.: Toward formal development of ML programs: foundations and methodology. Proc. TAPSOFT 89. Springer LNCS 352, 375–389 (1989)
Sannella, D.; Wirsing, M.: Implementation of parameterised specifications, Proc. 9th ICALP, Springer LNCS 140 (1982) 473–488.
Sannella, D.; Wirsing, M. A kernel language for algebraic specification and implementation, Proc. FCT-83, Springer LNCS 158, pp. 413–427, (1983)
Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: Data type specification: parameterization and the power of specification techniques. Trans. Prog. Lang. and Systems 4 (1982), 711–732
Wirsing, M.; Structured algebraic specifications: a kernel language. Theor. Comp. Sc. 42, 123–249 (1986)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Jimenez, R.M., Orejas, F. (1993). Compositionality results for different types of parameterization and parameter passing in specification languages. In: Gaudel, M.C., Jouannaud, J.P. (eds) TAPSOFT'93: Theory and Practice of Software Development. CAAP 1993. Lecture Notes in Computer Science, vol 668. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56610-4_54
Download citation
DOI: https://doi.org/10.1007/3-540-56610-4_54
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56610-6
Online ISBN: 978-3-540-47598-9
eBook Packages: Springer Book Archive