Advertisement

Algebraic specification method of programming languages

  • Hidehiko Kita
  • Toshiki Sakabe
  • Yasuyoshi Inagaki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 220)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ADJ1]
    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).CrossRefGoogle Scholar
  2. [ADJ2]
    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. [ADJ3]
    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).CrossRefGoogle Scholar
  4. [Cou]
    Courcelle, B.,Franchi-Zannettacci, P.:Attribute Grammars and Primitive Recursive Shemes, Theor. Comput. Sci., Vol.17, pp.163–191, pp.235–257 (1982).CrossRefGoogle Scholar
  5. [Des]
    Despryroux, J.:An Algebraic Specification of a Pascal Compiler, SIGPLAN Notice, Vol.18, No.12, pp.34–48 (1983).Google Scholar
  6. [Gau]
    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. [Gog]
    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. [Mos]
    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. [Pai]
    Pair, C.:Abstract Data Types and Algebraic Semantics of Programming Languages, Theor. Comput. Sci., Vol. 18, pp.1–31 (1982).CrossRefGoogle Scholar
  10. [Wir]
    Wirth,N.:Algorithms + Data Structure = Programs, Prentice-Hall(1976).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Hidehiko Kita
    • 1
  • Toshiki Sakabe
    • 1
  • Yasuyoshi Inagaki
    • 1
  1. 1.Department of Electrical Engineering, Faculty of EngineeringNagoya UniversityNagoyaJapan

Personalised recommendations