Abstract
This paper gives a semantics for the Clear language for specifying problems and programs, described by Burstall and Goguen in 1977. A blend of denotational semantics with categorical ideas is used.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Abrial,J.R., Schuman, S.A. and Meyer, B. (1979) Specification Language Z, (unpublished draft) from Massachusetts Computer Associates Inc., Boston.
Arbib, M.A. and Manes, E.G. (1975) Arrows, Structures and Functors: The Categorical Imperative. Academic Press, London.
Burstall, R.M. and Goguen, J.A. (1977) Putting theories together to make specifications. Invited paper in Proc. of Fifth International Joint Conference on Artificial Intelligence, Cambridge, Mass., pp. 1045–1058.
Burstall, R.M. and Goguen, J.A. (1978) Semantics of Clear, (unpublished notes handed out at the Symposium on Algebra and Applications, Danach Center, Warsaw).
Burstall, R.M. and Rydeheard (1979) The free algebraic theory on a signature, (unpublished draft report), Dept. of Computer Science, University of Edinburgh.
Caplain, M. (1978) Langage de specifications, Thesis, Lab. d'Informatique, IMAG, B.P. 53, Grenoble, France.
Dahl, O-J. (1978) Can program proving be made practical?. In Les fondements de la programmation, (ed. Amirchahy and Neel) IRIA, B.P. 105, Le Chesnay, France.
Ehrich, H.-D. and Lohberger, V.G. (1978) Parametric specification of abstract data types, parameter substitution and graph replacements. In Proc. of the Workshop ‘Graphentheoretische Konzepte in der Informatik', Applied Computer Science, Carl Hanser Verlag, Munich-Vienna 1978.
Ehrig, H. Kreowski, H-J. and Padawitz, P. (1978) Stepwise specification and implementation of abstract data types. In Proc. of the Fifth International Conference on Automata Languages and Programming, Udine, Italy.
Ehrig, H, Kreowski, H-J., Thatcher, J., Wagner, E. and Wright, J. (1979) Parameterised Data Types in Algebraic Specification Languages, (unpublished summary paper), from H. Ehrig, Fachbereich 20, Informatik, Technische Universität, W. Berlin.
Eilenberg, S. and Moore, J.C. (1965) Adjoint functors and triples, Ill.J. Math. 9, 381–398.
Genrich, H. (1976) The Petri Net Representation of Mathematical Knowledge. Interner Bericht ISF-76-5, GMD Bonn, W. Germany.
Godement, R. (1958) Theorie des Faisceaux, Hermann.
Goguen, J.A. (1977) Abstract errors for abstract data types. In Proc. of IFIP Working Conference on Formal Description of Programming Concepts (ed. Dennis, MIT). Published by North-Holland (ed. Neuhold, 1978).
Goguen, J.A. (1979) Order sorted algebras: exception and error sorts, coercions and overloaded operators. Unpublished report, UCLA, Los Angeles.
Goguen, J.A. and Burstall, R.M. (1978) Some fundamental properties of algebraic theories: a tool for semantics of computation. DAI Research Report No. 53, Dept. of Artificial Intelligence, University of Edinburgh.
[ADJ] Goguen, J.A., Thatcher, J.W., Wagner, E.G. and Wright, J.B. (1975) An introduction to categories, algebraic theories and algebras. IBM Technical Report RC 5369, Thos. J. Watson Research Center, Yorktown Heights, N.Y.
[ADJ] Goguen, J.A., Thatcher, J.W., and Wagner, E.G. (1978) An initial algebra approach to the correctness, and implementation of abstract data types. In Current Trends in Programming Methodology, IV (ed. Yeh) Prentice Hall, N.J.
Gordon, M.J.C. (1979) The Denotational Description of Programming Languages: an Introduction. Springer-Verlag: New York, Heidelberg, Berlin.
Guttag, J.V. and Horning, J.J. (1978) The algebraic specification of abstract data types. Acta Informatics, 10, 27–52.
Herrlich, H. and Strecker, G.E. (1973) Category Theory. Allyn and Bacon.
Honda, M. and Nakajima, R. (1979) Interactive theorem proving on hierarchically and modularly structured sets of very many axioms. RIMS Kokyuroku No. 363, Research Institute for Math. Science, Kyoto University.
Lawvere, F.W. (1963) Functorial semantics of algebraic theories. Proc. of National Academy of Science, 50, 869–872.
Lehman, D.J. and Smyth, M.B. (1977) Data types. Proc. of 18th Annual IEEE Symposium on F.O.C.S. (to appear in Math. Systems Theory).
Levitt, K., Robinson, L. and Silverberg (1979) HDM Handbook 1, 2, 3, SRI Int. Computer Science Report.
Liskov, B. and Berzins, V. (1977) An appraisal of program specification. MIT, Laboratory for Computer Science, Computation Structures Memo 141-1.
Liskov, B.H. and Zilles, S.N. (1975) Specification techniques for data abstractions. Proc. of International Conference on Reliable Software, ACM, Los Angeles, Ca., 72–87.
MacLane, S. (1971) Categories for the Working Mathematican. Springer-Verlag.
Manes, E.G. (1976) Algebraic Theories. Springer-Verlag.
Mosses, P. (1977) Making denotational semantics less concrete. Proc. of Bad Honnef Workshop on Semantics of Programming Languages.
Reichel, H. (1980) Initially-restricting algebraic theories. Unpublished report. TH ‘Otto von Guericke', Sektion Math/Physik, Magdeburg, DDR.
Reynolds, J.C. (1977) Reasoning about arrays. Report CSR-6-77/DAI-38. Dept. of Computer Science, University of Edinburgh.
Spitzen, J.M., Levitt, K.N. and Robinson, L. (1978) An example of hierarchical design and proof. Comm. Assoc. Comp. Mach., 21, 12, 1064–1075.
[ADJ] Thatcher, J.W., Wagner, E.G. and Wright, J. (1978) Data type specification: parameterisation and the power of specification techniques. Proc. of the SIGACT 10th Annual Symposium on Theory of Computing, May 1978, pp. 119–132.
[ADJ] Wagner, E., Thatcher, J.W. and Wright, J. (1978) Free continuous theories. Unpublished report, IBM Laboratories, Yorktown Heights, N.Y.
For a recent bibliography on abstract data types see:-
Dungan, Dona M. (1979) Bibliography on Data Types, SIGPLAN Notices 14, 11 pp. 31–59.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burstall, R.M., Goguen, J.A. (1980). The semantics of clear, a specification language. In: Bjøorner, D. (eds) Abstract Software Specifications. Lecture Notes in Computer Science, vol 86. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10007-5_41
Download citation
DOI: https://doi.org/10.1007/3-540-10007-5_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10007-2
Online ISBN: 978-3-540-38136-5
eBook Packages: Springer Book Archive