Skip to main content
SpringerLink
Log in

Towards the semantics of the definitional language of MetaSoft

  • Foundations
  • Conference paper
  • First Online:
VDM '90 VDM and Z — Formal Methods in Software Development (VDM 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 428))

Included in the following conference series:

Research sponsored by the Polish Academy of Sciences, grant PCBP 02.17

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Goguen, J., J. W. Thatcher, E. G. Wagner and J. B. Wright. “An initial algebra semantics and continuous algebras”. Journal of the ACM, Vol. 24(1), January 1977, pp. 68–95.

    Google Scholar 

  2. Thatcher, J. W., E. G. Wagner and J. B. Wright. “Notes on Algebraic Fundamentals for Theoretical Computer Science”. Foundations of Computer Science III, Part 2: Languages, Logic, Semantics, Mathematical Centre Tracts 109, 1979, pp. 83–163.

    Google Scholar 

  3. Bednarczyk, M. A., A. M. Borzyszkowski and W. Pawłowski. “Recursive Definitions Revisited”. This volume.

    Google Scholar 

  4. Bekič, H. “Definable operations in general algebras and the theory of automata and flowcharts”. IBM Laboratory Vienna (69). Also in Programming languages and their definitions, selected papers of Hans Bekič, Lecture Notes in Computer Science 177, Springer-Verlag, 1984.

    Google Scholar 

  5. Birkhoff, G. and J. D. Lipson. “Heterogeneous algebras”. J. Combinatorial Theory 8, 1970, pp. 115–133.

    Google Scholar 

  6. Bjørner, D. and C. B. Jones. The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science 61, Springer-Verlag, 1978.

    Google Scholar 

  7. Bjørner, D. and C. B. Jones. Formal Specification of Software Development. Prentice Hall International, 1982.

    Google Scholar 

  8. Blikle, A. “A metalanguage for naive denotational semantics”. Progetto Finalizzato Informatica, CNR Progetto P1 Cnet 104, Pisa 1983.

    Google Scholar 

  9. Blikle, A. MetaSoft Primer. Lecture Notes in Computer Science 288, Springer-Verlag, 1987.

    Google Scholar 

  10. Blikle, A. and A. Tarlecki. “Naive Denotational Semantics”. Information Processing'83 (Proceedings IFIP Congress 1983), North Holland, 1983.

    Google Scholar 

  11. Borzyszkowski, A. M., R. Kubiak and S. Sokołowski. “A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus”. Proceedings VDM'88 Symposium, Lecture Notes in Computer Science 328, Springer-Verlag, 1988.

    Google Scholar 

  12. Borzyszkowski, A. M., R. Kubiak, J. Leszczyłowski and S. Sokołowski. “Towards a set-theoretic type theory”. Submitted to Theoretical Computer Science, 1988.

    Google Scholar 

  13. Cohn, P. M. Universal Algebra. Harper and Row, 1965.

    Google Scholar 

  14. Gordon, M. J. C. The Denotational Description of Programming Languages. Springer-Verlag, 1979.

    Google Scholar 

  15. Grätzer, G. Universal Algebra. 2-nd edition, Springer-Verlag, 1979.

    Google Scholar 

  16. Jones, C. B. Software Development: A Rigorous Approach. Prentice Hall International, 1980.

    Google Scholar 

  17. Jones, C. B. Systematic Software Development Using VDM. Prentice Hall International, 1986.

    Google Scholar 

  18. Larsen, P. G., M. M. Arentoft, S. Bear and B. Q. Monahan. “The mathematical semantics of the BSI/VDM specification language”. Proceedings IFIP'89 World Congress, North-Holland, 1989.

    Google Scholar 

  19. Nielsen, M., K. Havelund, K. R. Wagner and C. George. “The RAISE language, methods and tools”. Proceedings VDM'88 Symposium, Lecture Notes in Computer Science 328, Springer-Verlag, 1988,pp. 376–405.

    Google Scholar 

  20. Prehn, S. “From VDM to RAISE”. Proceedings VDM'87 Symposium, Lecture Notes in Computer Science 252, Springer-Verlag, 1987,pp. 141–150.

    Google Scholar 

  21. Schmidt, D. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, 1986.

    Google Scholar 

  22. Scott, D. “Data Types as Lattices”. SIAM Journal on Computing, Vol. 5, 1976, pp. 522–587.

    Google Scholar 

  23. Scott, D. “Domains for denotational semantics”. Proceedings ICALP'82, Lecture Notes in Computer Science 140, Springer-Verlag, 1982.

    Google Scholar 

  24. Scott, D. and Ch. Strachey. Towards a Mathematical Semantics for Computer Languages. Oxford University Computing Laboratory, 1971.

    Google Scholar 

  25. Stoy, J. E. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.

    Google Scholar 

  26. Tarlecki, A. and M. Wieth. “A naive domain universe for VDM”. This volume.

    Google Scholar 

  27. Tiuryn, J. “Fixed point and algebras with infinitely long expressions. Part I.” Fundamenta Informaticae, Vol. 2(1), 1978, pp. 103–128 (also in Proceedings MFCS'77, Lecture Notes in Computer Science 53, Springer-Verlag, 1977).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Project MetaSoft Institute of Computer Science, Polish Academy of Sciences, Poland

    Marek A. Bednarczyk, Andrzej M. Borzyszkowski & Wiesław Pawłowski

  2. c/o Institute of Computer Science, Gdańsk Division of the PAS, ul. Jaśkowa Dolina 31, P.O.Box 562, PL-80252, Gdańsk, Poland

    Marek A. Bednarczyk, Andrzej M. Borzyszkowski & Wiesław Pawłowski

Authors
  1. Marek A. Bednarczyk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrzej M. Borzyszkowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wiesław Pawłowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

D. Bjørner C. A. R. Hoare H. Langmaack

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bednarczyk, M.A., Borzyszkowski, A.M., Pawłowski, W. (1990). Towards the semantics of the definitional language of MetaSoft. In: Bjørner, D., Hoare, C.A.R., Langmaack, H. (eds) VDM '90 VDM and Z — Formal Methods in Software Development. VDM 1990. Lecture Notes in Computer Science, vol 428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52513-0_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-52513-0_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52513-4

  • Online ISBN: 978-3-540-47006-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation