This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
5. References
Clerici, S.; Orejas, F., GSBL: an algebraic specification language based on inheritance, to appear in Proc. Europ. Conf. on Object Oriented Prog., Springer LNCS, 1988.
Ehrig, H.; Kreowski, H.-J.; Thatcher, J.W.; Wagner, E.G.; Wright, J.B. Parameter passing in algebraic specification languages, Proc. Workshop on Program Specification, Aarhus, Denmark, Springer LNCS 164 (1983) 221–256.
Ehrig, H.; Mahr, B., Fundamentals of algebraic specification 1, EATCS Monographs on Theor. Comp. Sc., Springer, 1985.
Ganzinger, H., Parameterized specifications: parameter passing and implementation with respect to observability, ACM Transactions on Programming Languages and Systems 5 (3) (1983) 318–35.
Giarratana, V.; Gimona, F.; Montanari, U., Observability concepts in abstract data type specification, Proc. 5 th Intl. Symp. on Mathematical Foundations of Computer Science, Gdansk, Springer LNCS 45 (1976) 567–587.
Goguen, J.A.; Burstall, R.M., Introducing institutions. Proc. Logics of Programs Workshop, Springer LNCS 164 (1984) 221–256.
Goguen, J. A. "How to prove algebraic inductive hypotheses without induction, with application to the correctness of data types implementation", Proc. 5th. Conf. on Aut. Deduction, 1980.
Goguen, J.A.; Meseguer, J., Completeness of many-sorted equational logic, Sigplan Notices 17,1 (1982) 9–17.
Goguen, J.A.; Meseguer, J., Universal realization, persistent interconnection and implementation of abstract modules, 9th Colloquium on Automata, Languages and Programming, Aarhus, Springer LNCS 140 (1982) 265–281.
Goguen, J.A.; Meseguer, J., Initiality Primer, Preliminary Draft (March 1983), SRI Int.
Goguen, J.A.; Thatcher, J.W.; Wagner, E.G., An initial algebra approach to the specification, correctness and implementation of abstract data types, Current Trends in Programming Methodology, Vol IV: Data Structuring, R.T. Yeh (ed.), Prentice Hall (1978) 80–149.
Guttag, J.V.; Horning, J.J., The algebraic specification of abstract data types, Acta Informatica 10 (1978), 27–52.
Hennicker, R.; Wirsing, M., Observational Spécification: A Birkhoff-Theorem, Recent Trends in Data Type Specification, Informatik-Fachberichte, Springer 116 (1985) 119–135.
Huet, G.; Hullot, J.M. Proofs by induction in equational theories with constructors, Proc. 21st. FOCS, Los Angeles (1980), 96–107.
Huet, G.; Oppen, D., Equations and rewrite rules: a survey, in Formal Language Theory: Perspectives and open problems, R.V. Book (Ed.), Ac. Press (1980).
Jouannaud, J.P.; Kounalis, E. Proofs by induction in equational theories without constructors, C.R.I. Nancy Report 85-R-042, 1985.
Kamin, S., Final data type and their specification, ACM Transactions on Programming Languages and Systems 5 (1983) 97–123.
Meseguer, J.; Goguen, J.A., Initiality, induction and computability, Algebraic Methods in Semantics, M. Nivat and J. Reynolds (eds.), Cambridge Univ. Press (1985) 459–540.
Musser, D. On proving inductive properties of abstract data types, Proc. 7th. POPL(1980), 154–162.
Nivela Alós, Ma P., Semántica de comportamiento en lenguajes de especificación, PhD. Thesis, Facultat d'Informàtica, Universitat Politècnica de Catalunya, Barcelona (1987).
Orejas, F., A characterization of passing compatibility for parameterized specifications, Theor. Comp. Sc. 51 (1987), 205–214.
Reichel, H., Behavioural equivalence — a unifying concept for initial and final specification methods, Proc. 3 rd Hungarian Computer Science Conf., Budapest (1981) 27–39.
Reichel, H., Behavioral validity of equations in abstract data types, Contributions to General Algebra 3, Proc.of the Vienna Conference, Verlag B. G. Teubner, Stuttgart (1985) 301–324.
Sannella, D.; Tarlecki, A., On observational equivalence and algebraic specification. Journal of Computer and System Sciences 34(2/3)(1987)150–178.
Sannella, D.; Wirsing, M., A kernel language for algebraic specification and implementation. Proc. Intl. Conf. on Foundations of Computation Theory Sweden. Springer LNCS 158 (1983) 413–427.
Schoett, O., A theory of program modules, their specification and implementation (extended abstract), Univ. of Edinburgh, Rep. CSR-155-83, 1982.
Tarlecki, A., On the existence of free models in abstract algebraic institutions, Theor. Comp. Sc. 37 (1985) 269–304.
Wand, M., Final algebra semantics and data type extensions. Journal of Computer and System Sciences 19 (1) (1979) 27–44.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nivela, M.P., Orejas, F. (1988). Initial behaviour semantics for algebraic specifications. In: Sannella, D., Tarlecki, A. (eds) Recent Trends in Data Type Specification. ADT 1987. Lecture Notes in Computer Science, vol 332. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50325-0_10
Download citation
DOI: https://doi.org/10.1007/3-540-50325-0_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50325-5
Online ISBN: 978-3-540-45970-5
eBook Packages: Springer Book Archive