×

zbMATH — the first resource for mathematics

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).
Reviewer: Reviewer (Berlin)

MSC:
68P05 Data structures
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Arbib, M.A.; Manes, E.G., Arrows, structures and functors: the categorical imperative, (1975), Academic Press New York/London · Zbl 0374.18001
[2] Barwise, J., Back and forth through infinitary logic, (), 5-34
[3] Barwise, J., Axioms for abstract model theory, Ann. math. logic, 7, 221-265, (1974) · Zbl 0324.02034
[4] Bauer, F.L., ()
[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 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, (), 292-332 · Zbl 0456.68024
[9] Burstall, R.M.; Goguen, J.A., Algebras, theories and freeness: an introduction for computer scientists, () · Zbl 0518.68009
[10] Burstall, R.M.; MacQueen, D.B.; Sannella, D.T., HOPE: an experimental applicative language, (), 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.; Ehrich, H.-D., On the theory of specification, implementation, and parametrization of abstract data types, (), 206-227, No. 1 · Zbl 0478.68020
[14] Ehrig, H., An algebraic specification concept for modules, (), (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, ()
[17] Ehrig, H.; Wagner, E.G.; Thatcher, J.W., Algebraic specifications with generating constraints, (), 188-202 · Zbl 0518.68019
[18] Enderton, H.B., A mathematical introduction to logic, (1972), 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, () · Zbl 0338.68023
[21] Gogolla, M., Algebraic specifications with partially ordered sorts and declarations, () · 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, () · Zbl 0373.68024
[24] Goguen, J.A., Order sorted algebras: exceptions and error sorts, coercions and overloaded operators, ()
[25] Goguen, J.A.; Burstall, R.M., CAT, a system for the structured elaboration of correct programs from structured specifications, () · Zbl 0456.68024
[26] Goguen, J.A.; Burstall, R.M., Introducing institutions, (), 221-256 · Zbl 1288.03001
[27] Goguen, J.A.; Meseguer, J.; Goguen, J.A.; Meseguer, J., Completeness of many-sorted equational logic, SIGPLAN notices, 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, (), 265-281 · Zbl 0493.68014
[29] Goguen, J.A.; Meseguer, J., An initiality primer, ()
[30] Goguen, J.A.; Tardo, J., An introduction to OBJ: A language for writing and testing software specifications, (), 170-189
[31] Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.; Goguen, J.A.; Thatcher, J.W.; Wagner, E.G., An initial algebra approach to the specification, correctness, and implementation of abstract data types, (), 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, (), 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 Amsterdam · Zbl 0127.00901
[36] Liskov, B.; Atkinson, R.; Bloom, T.; Moss, E.; Schaffert, J.C.; Scheifler, R.; Snyder, A., CLU reference manual, () · Zbl 0463.68009
[37] Liskov, B.H.; Berzins, V., An appraisal of program specifications, ()
[38] Maclane, S., Categories for the working Mathematician, (1971), Springer New York/Berlin
[39] Maibaum, T.S.E.; Sadler, M.R.; Veloso, P.A.S., Logical implementation, () · Zbl 0551.68024
[40] Mosses, P.D., Abstract semantic algebras, () · Zbl 0308.68016
[41] Pepper, P., On the correctness of type transformations, (), talk at · Zbl 0408.68074
[42] Reichel, H., Behavioural equivalence—a unifying concept for initial and final specification methods, (), 27-39 · Zbl 0479.68017
[43] Sannella, D.T.; Burstall, R.M., Structured theories in LCF, (), 337-391 · Zbl 0527.68070
[44] Sannella, D.T.; Tarlecki, A., Building specifications in an arbitrary institution, (), 337-356
[45] Sannella, D.T.; Tarlecki, A., Program specification and development in standard ML, (), 67-77
[46] \scD. T. Sannella and M. Wirsing, “Implementation of Parameterised Specifications,” Report CSR103-82, Dept. of Computer Science, University of Edinburgh;
[47] \scD. T. Sannella and M. Wirsing, “A Kernel Language for Algebraic Specification and Implementation,” Report CSR-131-83, Dept. of Computer Science, University of Edinburgh
[48] Schoett, O., A theory of program modules, their specification and implementation (extended abstract), ()
[49] Scott, D., Logic with denumerably long formulas and finite strings of quantifiers, (), 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, (), 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, (), 93-107
[54] Wirsing, M., Structured algebraic specifications: A kernel language, () · 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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.