×

On observational equivalence and algebraic specification. (English) Zbl 0619.68028

See the review of the preliminary version in Lect. Notes Comput. Sci. 185, 308-322 (1985; Zbl 0563.68017).

MSC:

68P05 Data structures

Citations:

Zbl 0563.68017
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Arbib, M. A.; Manes, E. G., Arrows, Structures and Functors: The Categorical Imperative (1975), Academic Press: Academic Press New York/London · Zbl 0374.18001
[2] Barwise, J., Back and forth through infinitary logic, (Morley, M. D., Studies in Model Theory. Studies in Model Theory, Studies in Mathematics, Vol. 8 (1973), Amer. Math. Assn: Amer. Math. Assn Washington, DC), 5-34
[3] Barwise, J., Axioms for abstract model theory, Ann. Math. Logic, 7, 221-265 (1974) · Zbl 0324.02034
[4] Bauer, F. L., (Report on a Wide Spectrum Language for Program Specification and Development. Report on a Wide Spectrum Language for Program Specification and Development, Report TUM-18104 (1981), Technical Univ. Munich)
[5] Bergstra, J. A.; Meyer, J. J., I/O computable data structures, SIGPLAN Notices, 16, No. 4, 27-32 (1981)
[6] Boyer, R. S.; Moore, J. S., A Computational Logic (1979), Academic Press: Academic Press New York/London · Zbl 0708.68060
[7] Broy, M.; Wirsing, M., Partial abstract types, Acia Inform., 18, 47-64 (1982) · Zbl 0494.68020
[8] Burstall, R. M.; Goguen, J. A., The semantics of Clear, a specification language, (Proceedings of Advanced Course on Abstract Software Specifications. Proceedings of Advanced Course on Abstract Software Specifications, Copenhagen. Proceedings of Advanced Course on Abstract Software Specifications. Proceedings of Advanced Course on Abstract Software Specifications, Copenhagen, Lect. Notes in Comput. Sci., Vol. 86 (1980), Springer: Springer New York/Berlin), 292-332 · Zbl 0456.68024
[9] Burstall, R. M.; Goguen, J. A., Algebras, theories and freeness: An introduction for computer scientists, (Proceedings, 1981 Marktoberdorf NATO Summer School (1982), Reidel: Reidel Dordrecht) · Zbl 0518.68009
[10] Burstall, R. M.; MacQueen, D. B.; Sannella, D. T., HOPE: An experimental applicative language, (Proceedings, 1980 LISP Conference. Proceedings, 1980 LISP Conference, Stanford, California (1980)), 136-143
[11] Church, A., An unsolvable problem of elementary number theory, Amer. J. Math., 58, 345-363 (1936) · JFM 62.0046.01
[12] De Nicola, R.; Hennessy, M. C.B., Testing equivalences for processes, Theoret. Comput. Sci., 34, 83-133 (1984) · Zbl 0985.68518
[13] Ehrich, H.-D., On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types, (Report 82. Report 82, J. Assoc. Comput. Mach., 29 (1982), Abteilung Informatik, University of Dortmund), 206-227 · Zbl 0478.68020
[14] Ehrig, H., An Algebraic Specification Concept for Modules, (Report 84-04 (1984), Institut für Software and Theoretische Informatik, Technical Univ. Berlin), (draft version) · Zbl 0542.68011
[15] Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P., Algebraic implementation of abstract data types, Theoret. Comput. Sci., 20, 209-263 (1982) · Zbl 0483.68018
[16] Ehrig, H.; Thatcher, J. W.; Lucas, P.; Zilles, S. N., Denotational and initial algebra semantics of the algebraic specification language LOOK, (Draft report (1982), IBM Research)
[17] Ehrig, H.; Wagner, E. G.; Thatcher, J. W., Algebraic specifications with generating constraints, (Proceedings, 10th ICALP. Proceedings, 10th ICALP, Barcelona. Proceedings, 10th ICALP. Proceedings, 10th ICALP, Barcelona, Lect. Notes in Comput. Sci., vol. 154 (1983), Springer: Springer New York/Berlin), 188-202 · Zbl 0518.68019
[18] Enderton, H. B., A Mathematical Introduction to Logic (1972), Academic Press: Academic Press London/New York · Zbl 0298.02002
[19] Ganzinger, H., Parameterized specifications: parameter passing and implementation, TOPLAS, 3, 318-354 (1983) · Zbl 0511.68010
[20] Giarratana, V.; Gimona, F.; Montanari, U., Observability concepts in abstract data type specification, (Proceedings, 5th MFCS. Proceedings, 5th MFCS, Gdansk. Proceedings, 5th MFCS. Proceedings, 5th MFCS, Gdansk, Lect. Notes in Comput. Sci., Vol. 45 (1976), Springer: Springer New York/Berlin) · Zbl 0338.68023
[21] Gogolla, M., Algebraic Specifications with Partially Ordered Sorts and Declarations, (Report 169 (1983), Abteilung Informatik, University of Dortmund) · Zbl 0544.68015
[22] Gogolla, M.; Drosten, K.; Upeck, U.; Ehrich, H.-D., Algebraic and operational semantics of specifications allowing exceptions and errors, Theoret. Comput. Sci., 34, 289-313 (1984) · Zbl 0553.68012
[23] Goguen, J. A., Abstract errors for abstract data types, (Proceedings, IFIP Working Conf. on the Formal Description of Programming Concepts. Proceedings, IFIP Working Conf. on the Formal Description of Programming Concepts, New Brunswick, New Jersey (1977)) · Zbl 0373.68024
[24] Goguen, J. A., Order Sorted Algebras: Exceptions and Error Sorts, Coercions and Overloaded Operators, (Semantics and Theory of Computation Report No. 14 (1978), Dept. of Computer Science, UCLA)
[25] Goguen, J. A.; Burstall, R. M., CAT, a System for the Structured Elaboration of Correct Programs from Structured Specifications, (Technical report CSL-118 (1980), Computer Science Laboratory, SRI International) · Zbl 0456.68024
[26] Goguen, J. A.; Burstall, R. M., Introducing institutions, (Proceedings Logics of Programming Workshop. Proceedings Logics of Programming Workshop, Carnegie-Mellon Univ.. Proceedings Logics of Programming Workshop. Proceedings Logics of Programming Workshop, Carnegie-Mellon Univ., Lect. Notes in Comput. Sci., Vol. 164 (1984), Springer: Springer New York/Berlin), 221-256 · Zbl 1288.03001
[27] Goguen, J. A.; Meseguer, J., Completeness of many-sorted equational logic, Houston J. Math, 11, 307-334 (1985), extended version · Zbl 0602.08004
[28] Goguen, J. A.; Meseguer, J., Universal realization, persistent interconnection and implementation of abstract modules, (Proceedings, 9th ICALP. Proceedings, 9th ICALP, Aarhus, Denmark. Proceedings, 9th ICALP. Proceedings, 9th ICALP, Aarhus, Denmark, Lect. Notes in Comput. Sci., Vol. 140 (1982), Springer: Springer New York/Berlin), 265-281 · Zbl 0493.68014
[29] Goguen, J. A.; Meseguer, J., An Initiality Primer, (Draft report (1983), SRI International)
[30] Goguen, J. A.; Tardo, J., An introduction to OBJ: A language for writing and testing software specifications, (Specification of Reliable Software (1979), IEEE: IEEE New York), 170-189
[31] Goguen, J. A.; Thatcher, J. W.; Wagner, E. G., An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, (Yeh, R. T., Current Trends in Programming Methodology, Vol. 4: Data Structuring (1978), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ), 80-149 · Zbl 0359.68018
[32] Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B., Initial algebra semantics and continuous algebras, J. Assoc. Comput. Mach., 24, No. 1, 68-95 (1977) · Zbl 0359.68018
[33] Guttag, J. V.; Horning, J. J., Formal specification as a design tool, (Proceedings, 7th ACM Symposium on Principles of Programming Languages. Proceedings, 7th ACM Symposium on Principles of Programming Languages, Las Vegas (1980)), 251-261 · Zbl 0395.68020
[34] Kamin, S., Final data types and their specification, TOPLAS, 5, No. 1, 97-121 (1983) · Zbl 0498.68008
[35] Karp, C. R., Languages with Expressions of Infinite Length (1964), North-Holland: North-Holland Amsterdam · Zbl 0127.00901
[36] Liskov, B.; Atkinson, R.; Bloom, T.; Moss, E.; Schaffert, J. C.; Scheifler, R.; Snyder, A., CLU Reference Manual, (Lect. Notes in Comput. Set., Vol. 144 (1981), Springer: Springer New York/Berlin) · Zbl 0463.68009
[37] Liskov, B. H.; Berzins, V., An Appraisal of Program Specifications, (Computation Structures Group Memo 141-1 (1977), Laboratory for Computer Science, MIT)
[38] Maclane, S., Categories for the Working Mathematician (1971), Springer: Springer New York/Berlin
[39] Maibaum, T. S.E.; Sadler, M. R.; Veloso, P. A.S., Logical Implementation, (Technical report (1983), Department of Computing, Imperial College) · Zbl 0551.68024
[40] Mosses, P. D., Abstract semantic algebras, (Proceedings, IFIP TC2 Working Conf. on Formal Description of Programming Concepts II, Garmisch-Partenkirchen (1983), North-Holland: North-Holland Amsterdam) · Zbl 0308.68016
[41] Pepper, P., On the correctness of type transformations, (2nd Workshop on Theory and Applications of Abstract Data Types. 2nd Workshop on Theory and Applications of Abstract Data Types, Passau (1983)), talk at · Zbl 0408.68074
[42] Reichel, H., Behavioural Equivalence—a unifying concept for initial and final specification methods, (Proceedings 3rd Hungarian Computer Science Conf. Proceedings 3rd Hungarian Computer Science Conf, Budapest (1981)), 27-39 · Zbl 0479.68017
[43] Sannella, D. T.; Burstall, R. M., Structured theories in LCF, (Proceedings 8th Colloq. on Trees in Algebra and Programming. Proceedings 8th Colloq. on Trees in Algebra and Programming, L’Aquila, Italy. Proceedings 8th Colloq. on Trees in Algebra and Programming. Proceedings 8th Colloq. on Trees in Algebra and Programming, L’Aquila, Italy, Lect. Notes in Comput. Sci., Vol. 159 (1983), Springer: Springer New York/Berlin), 337-391 · Zbl 0527.68070
[44] Sannella, D. T.; Tarlecki, A., Building specifications in an arbitrary institution, (Proceedings, Intl. Symposium on Semantics of Data Types. Proceedings, Intl. Symposium on Semantics of Data Types, Sophia-Antipolis. Proceedings, Intl. Symposium on Semantics of Data Types. Proceedings, Intl. Symposium on Semantics of Data Types, Sophia-Antipolis, Lect. Notes in Comput. Sci., Vol. 173 (1984), Springer: Springer New York/Berlin), 337-356 · Zbl 0552.68015
[45] Sannella, D. T.; Tarlecki, A., Program specification and development in Standard ML, (Proceedings, 12th ACM Symp. on Principles of Programming Languages. Proceedings, 12th ACM Symp. on Principles of Programming Languages, New Orleans (1985)), 67-77
[46] Sannella, D. T.; Wirsing, M., (Proceedings 9th ICALP. Proceedings 9th ICALP, Aarhus Denmark. Proceedings 9th ICALP. Proceedings 9th ICALP, Aarhus Denmark, Lect. Notes in Comput. Sci., Vol. 140 (1982), Springer: Springer New York/ Berlin), 473-488, extended abstract in
[47] Sannella, D. T.; Wirsing, M., (Proceedings Intl. Conf. on Foundations of Computation Theory. Proceedings Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden. Proceedings Intl. Conf. on Foundations of Computation Theory. Proceedings Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden, Lect. Notes in Comput. Sci., Vol. 158 (1983), Springer: Springer New York/Berlin), 413-427, extended abstract in
[48] Schoett, O., A Theory of Program Modules, Their Specification and Implementation (extended abstract), (Report CSR-155-83 (1983), Dept. of Computer Science, University of Edinburgh)
[49] Scott, D., Logic with denumerably long formulas and finite strings of quantifiers, (Theory of Models (1965), North-Holland: North-Holland Amsterdam), 329-341 · Zbl 0166.26003
[50] Tarlecki, A., On the existence of free models in abstract algebraic institutions, Theoret. Comput. Sci., 37, 269-304 (1985) · Zbl 0608.68014
[51] Thatcher, J. W.; Wagner, E. G.; Wright, J. B., Data type specification: Parameterization and the power of specification techniques, (SIGACT 10th Annual Symp. on the Theory of Computing. SIGACT 10th Annual Symp. on the Theory of Computing, San Diego, California, 1978. SIGACT 10th Annual Symp. on the Theory of Computing. SIGACT 10th Annual Symp. on the Theory of Computing, San Diego, California, 1978, TOPLAS, 4 (1982)), 711-732, No. 4 · Zbl 0495.68020
[52] Wand, M., Final algebra semantics and data type extensions, J. Comput. System Sci., 19, 27-44 (1979) · Zbl 0418.68020
[53] Wirsing, M., Structured algebraic specifications, (Proceedings, AFCET Symp. on Mathematics for Computer Science. Proceedings, AFCET Symp. on Mathematics for Computer Science, Paris (1982)), 93-107
[54] Wirsing, M., Structured Algebraic Specifications: A Kernel Language, (Habilitation thesis (1983), Technical Univ. Munich) · Zbl 0599.68021
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.