MSL — A Mathematical Specification Language

  • V. P. Makarov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 620)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aho A.V., Ullman J.D., The theory of Parsing, Translation and Compiling. Vol.1. Englewood Cliffs (N.J.): Prentice-Hall, 1972.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    Bruijn N.G., The mathematical language AUTOMATH, its usages, and some of its extensions. Lecture Notes in Mathematics, vol.125 (1970), pp. 29–61.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    Cartwright R., Toward a Logical Theory of Program Data. LNCS, 131 (1982), pp. 37–51.Google Scholar
  6. 6.
    Cleaveland J.C., Mathematical Specifications. Sigplan notices, 1980, vol. 15, N 12, pp. 31–42.Google Scholar
  7. 7.
    Dijkstra E.W., On the interplay between mathematics and programming. Math. Centre Tracts, 1979, N100, pp. 177–188.Google Scholar
  8. 8.
    Ershov A.P., Scientific foundations of provable programming (in Russian), Vestnik Akademii Nauk:SSSR, 1984, N10., pp. 9–19.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    Goguen J.A., Parameterized Programming. IEEE Transactions on Software Engineering, 1984, vol. SE-10, N5, pp. 528–543.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    Hoare C.A.R., The mathematics of programming.-Oxford: Clarendon Press, 1985. 25p.Google Scholar
  13. 13.
    Jones C.B., Systematic Software Development Using VDM.-London: Prentice-Hall, 1986. 300 pp.Google Scholar
  14. 14.
    Kolmogorov A.V., Dragalin A.G., Introduction to mathematical logic (in Russian). Moscow: Mgu, 1982.Google Scholar
  15. 15.
    Kurosh A.G., Lectures on General Algebra (in Russian). Moscow: Nauka, 1973.Google Scholar
  16. 16.
    Makarov V.P., Toward a Theory of Abstract Algorithms (in Russian), Nauchno — tekhnicheskaya informatsiya, ser.2, 1982, N9, pp. 35–40.Google Scholar
  17. 17.
    Makarov V.P., The attribute quasitranslating grammars and their implementation in the compilier writing system SAGET (in Russian), Progammirovanie, 1983, N2, pp. 49–55.Google Scholar
  18. 18.
    Meyer B., Object-oriented Software Construction. N.J. Prentice-Hall, 1988, 534 p.Google Scholar
  19. 19.
    Ming-Hua Z., A Second Order Theory of Data Types. Acta Informatica, 25 (1988), pp. 288–303.CrossRefGoogle Scholar
  20. 20.
    Musser D.R., Stepanov A.A., Generic Programming. LNCS, 358 (1989), pp. 13–25.Google Scholar
  21. 21.
    Nakajima R., Honda M., Nakahara H., Hierarchical Program Specification and Verification: A Many-sorted Logical Approach, Acta Infomatica, 14 (1980), pp. 135–155.CrossRefGoogle Scholar
  22. 22.
    Nepomnyashchiy V.A., Rykin O.M., Applied Methods for Program Verification (in Russian). Moscow: Radio, 1988.Google Scholar
  23. 23.
    Sorensen I.H., A Specification Language. LNCS, 134 (1982), pp. 381–401.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • V. P. Makarov
    • 1
  1. 1.Gomel DivisionComputer Center of Byelorussian Academy of SciencesGomelByelorussia

Personalised recommendations