This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Aho A.V., Ullman J.D., The theory of Parsing, Translation and Compiling. Vol.1. Englewood Cliffs (N.J.): Prentice-Hall, 1972.
Andrews D.J., Carg A., Law S.P.A., Pitchers J.R., The Formal Definition of Modula-2 and Its Associated Interpreter. LNCS, 328(1988), pp. 167–177.
Bruijn N.G., The mathematical language AUTOMATH, its usages, and some of its extensions. Lecture Notes in Mathematics, vol.125 (1970), pp. 29–61.
Burstall R.M., Goguen J.A., An informal introduction to specification using Clear. In: The correctness problem in Computer Science. New York: Academic Press, 1981, pp. 185–213.
Cartwright R., Toward a Logical Theory of Program Data. LNCS, 131 (1982), pp. 37–51.
Cleaveland J.C., Mathematical Specifications. Sigplan notices, 1980, vol. 15, N 12, pp. 31–42.
Dijkstra E.W., On the interplay between mathematics and programming. Math. Centre Tracts, 1979, N100, pp. 177–188.
Ershov A.P., Scientific foundations of provable programming (in Russian), Vestnik Akademii Nauk:SSSR, 1984, N10., pp. 9–19.
Glushkov V.M., Kapitonova Yu. V., Letichevskiy A.A. et al., Toward constructing a practical formal language for writing mathematical theories (in Russian). Kibernetika, 1972, N5, pp. 19–28.
Goguen J.A., Parameterized Programming. IEEE Transactions on Software Engineering, 1984, vol. SE-10, N5, pp. 528–543.
Halpern J.D., Owre S., Proctor N., Wilson W.G., Muse — A Computer Assisted Verification System. IEEE Transactions on Software Engineering, 1987, vol. SE-13, N2, pp. 151–156.
Hoare C.A.R., The mathematics of programming.-Oxford: Clarendon Press, 1985. 25p.
Jones C.B., Systematic Software Development Using VDM.-London: Prentice-Hall, 1986. 300 pp.
Kolmogorov A.V., Dragalin A.G., Introduction to mathematical logic (in Russian). Moscow: Mgu, 1982.
Kurosh A.G., Lectures on General Algebra (in Russian). Moscow: Nauka, 1973.
Makarov V.P., Toward a Theory of Abstract Algorithms (in Russian), Nauchno — tekhnicheskaya informatsiya, ser.2, 1982, N9, pp. 35–40.
Makarov V.P., The attribute quasitranslating grammars and their implementation in the compilier writing system SAGET (in Russian), Progammirovanie, 1983, N2, pp. 49–55.
Meyer B., Object-oriented Software Construction. N.J. Prentice-Hall, 1988, 534 p.
Ming-Hua Z., A Second Order Theory of Data Types. Acta Informatica, 25 (1988), pp. 288–303.
Musser D.R., Stepanov A.A., Generic Programming. LNCS, 358 (1989), pp. 13–25.
Nakajima R., Honda M., Nakahara H., Hierarchical Program Specification and Verification: A Many-sorted Logical Approach, Acta Infomatica, 14 (1980), pp. 135–155.
Nepomnyashchiy V.A., Rykin O.M., Applied Methods for Program Verification (in Russian). Moscow: Radio, 1988.
Sorensen I.H., A Specification Language. LNCS, 134 (1982), pp. 381–401.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Makarov, V.P. (1992). MSL — A Mathematical Specification Language. In: Nerode, A., Taitslin, M. (eds) Logical Foundations of Computer Science — Tver '92. LFCS 1992. Lecture Notes in Computer Science, vol 620. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023884
Download citation
DOI: https://doi.org/10.1007/BFb0023884
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55707-4
Online ISBN: 978-3-540-47276-6
eBook Packages: Springer Book Archive