Skip to main content
SpringerLink
Log in

Algebraic specification method of programming languages

  • Conference paper
  • First Online:
RIMS Symposia on Software Science and Engineering II

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

  • 134 Accesses

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. ADJ(Goguen, J.A.,Thatcher, J.W.,Wagner, E.G., Wright, J.B.): Initial Algebra Semantics and Continuous algebras, J.ACM, Vol.24, pp.68–95(1977).

    Article  Google Scholar 

  2. ADJ(Goguen,J.A.,Thatcher,J.W.,Wright,J.B.): An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, Current Trends in Programming Methodology, Vol.4(Yeh,R.T.,ed.), Prentice-Hall (1978).

    Google Scholar 

  3. ADJ(Thatcher, J.W.,Wagner, E.G.,Wright, J.B.): More on Advice on Structuring Compilers and Their Correctness, Theor. Comput. Sci., Vol.15, pp.223–249 (1981).

    Article  Google Scholar 

  4. Courcelle, B.,Franchi-Zannettacci, P.:Attribute Grammars and Primitive Recursive Shemes, Theor. Comput. Sci., Vol.17, pp.163–191, pp.235–257 (1982).

    Article  Google Scholar 

  5. Despryroux, J.:An Algebraic Specification of a Pascal Compiler, SIGPLAN Notice, Vol.18, No.12, pp.34–48 (1983).

    Google Scholar 

  6. Gaudel,M.C.:Specification of Compilers as Abstract Data Type Representations, Proc. on Workshop on Semantics-Directed Compiler Generation, Aarhus, in Lecture Notes in Computer Science 94(1980).

    Google Scholar 

  7. Goguen, J.A. and Parsaye-Ghomi, K.: Algebraic Denotational Semantics using Parameterized Abstract Modules, in Lecture Notes in Computer Science 107, pp.292–309(1981).

    Google Scholar 

  8. Mosses,P.:A Constructive Approach to Compiler Correctness Proc. of Workshop on Semantics-Directed Compiler Generation, Aarhus, in Lecture Notes in Computer Science 94(1980).

    Google Scholar 

  9. Pair, C.:Abstract Data Types and Algebraic Semantics of Programming Languages, Theor. Comput. Sci., Vol. 18, pp.1–31 (1982).

    Article  Google Scholar 

  10. Wirth,N.:Algorithms + Data Structure = Programs, Prentice-Hall(1976).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, Faculty of Engineering, Nagoya University, Furo-cho, Chikusa-ku, 464, Nagoya, Japan

    Hidehiko Kita, Toshiki Sakabe & Yasuyoshi Inagaki

Authors
  1. Hidehiko Kita
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Toshiki Sakabe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yasuyoshi Inagaki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eichi Goto Keijiro Araki Taiichi Yuasa

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kita, H., Sakabe, T., Inagaki, Y. (1986). Algebraic specification method of programming languages. In: Goto, E., Araki, K., Yuasa, T. (eds) RIMS Symposia on Software Science and Engineering II. Lecture Notes in Computer Science, vol 220. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16470-7_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-16470-7_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16470-8

  • Online ISBN: 978-3-540-39809-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation