Preview
Unable to display preview. Download preview PDF.
References
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).
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).
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).
Courcelle, B.,Franchi-Zannettacci, P.:Attribute Grammars and Primitive Recursive Shemes, Theor. Comput. Sci., Vol.17, pp.163–191, pp.235–257 (1982).
Despryroux, J.:An Algebraic Specification of a Pascal Compiler, SIGPLAN Notice, Vol.18, No.12, pp.34–48 (1983).
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).
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).
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).
Pair, C.:Abstract Data Types and Algebraic Semantics of Programming Languages, Theor. Comput. Sci., Vol. 18, pp.1–31 (1982).
Wirth,N.:Algorithms + Data Structure = Programs, Prentice-Hall(1976).
Author information
Authors and Affiliations
Editor information
Rights 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