Algebraic definition of a functional programming language and its semantic models. (English) Zbl 0515.68017


68P05 Data structures
68N01 General topics in the theory of software
Full Text: EuDML


[1] Note: L.N.C.S., Lecture Notes in Computer Science; I.C.A.L.P., Int. Colloquium on Automata, Languages and Programming.
[2] 1. J. BACKUS, Can Programming be Liberated from the von Neumann Style? A Functional Style and lts Algebra of Programs, Comm. A.C.M., Vol. 21, No. 8, 1978, pp. 613-641. Zbl0383.68013 MR520392 · Zbl 0383.68013
[3] 2. F. L. BAUER and H. WÖSSNER, Algorithmische Sprache und Programmentwicklung, Berlin-Heidelberg-New York, Springer, 1981. Zbl0466.68006 · Zbl 0466.68006
[4] 3. J. W. DE BAKKER, Least Fixed Points Revisited. In C. BÖHM, Ed., \lambda -Calculus and Computer Science Theory, Roma, I.N.C.S., Vol. 37, pp. 27-62, Berlin, Springer, 1975. Zbl0328.68009 MR474942 · Zbl 0328.68009
[5] 4. J. A. BERGSTRA and J. V. TUCKER, Algebraic Specification of Computable and Semi-Computable Data Structures, Afdeling Informatica Amsterdam, IW115/79, 1979. Zbl0419.68029 · Zbl 0419.68029
[6] 5. G. BIRKHOFF and J. D. LIPSON, Heterogeneous Algebras, J. Comb. Theory, Vol. 8, 1970, pp.115-133. Zbl0211.02003 MR250887 · Zbl 0211.02003
[7] 6. M. BROY, Transformation Parallel Ablaufender Programme, Dissertation, Technische Universitât München, Fakultät für Mathematik, 1980. Zbl0461.68013 · Zbl 0461.68013
[8] 7. M. BROY, W. DOSCH, H. PARTSCH, P. PEPPER and M. WIRSING, Existential Quantifiers in Abstract Data Types. In H.A. MAURER, Ed., Proc. of the Sixth I.C.A.L.P., Graz, I..N.C.S., Vol. 71, pp. 73-87, Berlin: Springer 1979. Zbl0404.68026 MR573235 · Zbl 0404.68026
[9] 8. M. BROY and M. WIRSING, Programming Languages as Abstract Data Types. In M. DAUCHET, Ed., 5e Colloque de Lille sur les arbres en algèbre et en programmation, Lille, February 1980, pp. 160-177, Université de Lille, 1980. Zbl0433.68014 · Zbl 0433.68014
[10] 9. M. BROY and M. WIRSING, Partial-Recursive Functions and Abstract Data Types, Bulletin of the E.A.T.C.S., Vol. 11, June, 1980, pp. 34-41.
[11] 10. M. BROY and M. WIRSING, On the Algebraic Specification of Nondeterministic Programming Languages. In E.ASTESIANO and C.BÖHM, Eds., 6th Colloquium on Trees in Algebra and Programming, Genova, L..N.C.S., Vol. 112, pp. 162-179, Berlin, Springer, 1981. Zbl0462.68063 MR623271 · Zbl 0462.68063
[12] 11 M. BROY and M. WIRSING, Partial Abstract Types, Acta Informatica, Vol. 18, 1982, pp. 47-64. Zbl0494.68020 MR688344 · Zbl 0494.68020
[13] 12. M. BROY and M. WIRSING, On the Algebraic Specification of Finitary Infinite Communicating Processes. In D. BJORNER, Ed., I.F.LP. Working Conference on Formal Description of Programming Concepts II, Garmisch 1982 (to appear). Zbl0512.68021 · Zbl 0512.68021
[14] 13 M. BROY, C. PAIR and M. WIRSING, A Systematic Study of Models of Abstract Data Types, Centre de Recherche en Informatique de Nancy, Report 81-R-042, 1981. · Zbl 0552.68010
[15] 14 M. BROY, P. PEPPER and M. WIRSING, On Relations Between Programs. In B. ROBINET, Ed., 4th International Symposium on Programming, Paris, April, 22nd-24th 1980, L.N.C.S., Vol. 83, pp. 59-78, Berlin, Springer. Zbl0435.68017 · Zbl 0435.68017
[16] 15. C. C. CHANG and H. J. KEISLER, Model Theory, Studies in Logic and the Foundations of Mathematics, Vol. 73, Amsterdam, North-Holland, 1973. Zbl0276.02032 MR409165 · Zbl 0276.02032
[17] 16. B. COURCELLE and M. NIVAT, The Algebraic Semantics of Program Schemas. In J. WINKOWSKI, Ed., Proc. Math. Foundations of Comp. Science, Zakopane, L.N.C.S., Vol. 64, pp. 16-30, Berlin, Springer, 1978. Zbl0384.68016 MR519827 · Zbl 0384.68016
[18] 17. M. C. GAUDEL, Génération et preuve de compilateurs basées sur une sémantique formelle des langages de programmation, Thèse d’État, Nancy, March, 1980.
[19] 18. G. GOGUEN, J. W. THATCHER and E. G. WAGNER, An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. In R. T. YEH, Ed., Current trends in programming methodology, Vol. 4, Data Structuring, pp. 80-149, N.J., Prentice Hall, 1978.
[20] 19. G. GRÄTZER, Universal Algebra, Princeton, Van Nostrand, 1968. Zbl0182.34201 MR248066 · Zbl 0182.34201
[21] 20. J. V. GUTTAG, The Specification and Application to Progamming of Abstract Data Types, Ph. D. Th., Univ. of Toronto, Dept. of Comp. Sc., Rep. CSRG-59, 1975.
[22] 21. P. HITCHCOCK and D. PARK, Induction Rules and Termination Proof. In M. NIVAT, Ed., Proc. of the first I.C.A.L.P., I.R.I.A., pp. 225-251, Amsterdam, North-Holland, 1973. Zbl0387.68011 MR495103 · Zbl 0387.68011
[23] 22. S. MCLANE, Categories for the Working Mathematician, Berlin: Springer, 1971. Zbl0232.18001 MR354798 · Zbl 0232.18001
[24] 23. Z. MANNA, Mathematical Theory of Computation,New York, McGram Hill, 1974 Zbl0353.68066 MR400771 · Zbl 0353.68066
[25] 24. Z. MANNA and A. SHAMIR, The Theoretical Aspects of the Optimal Fixed Point, S.I.A.M. J. Comp., Vol. 5, No. 3, 1978, pp. 414-426. Zbl0358.68017 MR440995 · Zbl 0358.68017
[26] 25. R. MILNER, Fully Abstract Models of Types \?-Calculi, Vol. 4, 1977, pp. 1-22. Zbl0386.03006 MR498061 · Zbl 0386.03006
[27] 26. C. PAIR, Types abstraits et sémantique algébrique des langages de programmation, Centre de Recherche en Informatique de Nancy, Rapport 80-R-011, 1980.
[28] 27. P. PEPPER, A Study on Transformational Semantics. In F. L. BAUER and M. BROY, Eds., Proc. International Summer School on Program Construction, Marktoberdorf, 1978, L.N.C.S., Vol. 69, Berlin, Springer, 1979, pp. 322-405. Zbl0408.68074 MR583152 · Zbl 0408.68074
[29] 28. W. DE ROEVER, Recursion and Parameter Mechanism: an Axiomatic Approach. In J. LOECKX, Ed., Proc. of the second I.C.A.L.P., Saarbrücken, L.N.C.S., Vol. 14, Berlin, Springer, 1975, pp. 34-65. Zbl0302.68019 MR428768 · Zbl 0302.68019
[30] 29. H. Jr. ROGERS, Theory of Recursive Functions and Effective Computability, New York, McGraw-Hill Book Company, 1967. Zbl0183.01401 MR224462 · Zbl 0183.01401
[31] 30. J. R. SHOENFIELD, Mathematical Logic, Reading (Massachusetts): Addison-Wesley, 1969. Zbl0155.01102 MR225631 · Zbl 0155.01102
[32] 31. E. G. WAGNER, J. W. THATCHER and J. B. WRIGHT, Programming Languages as Mathematical Objects. In J. WINKOWSKI, Ed., Proc. Math. Foundations of Computer Science, Zakopane, L.N.C.S., Vol. 64, Berlin, Springer, 1978, pp. 84-101. Zbl0394.68008 MR519830 · Zbl 0394.68008
[33] 32. M. WAND, First-Order Identities as a Defining Language, Indiana University, Comp. Science Department, Technical Report No. 29, 1977. · Zbl 0424.68022
[34] 33. M. WIRSING, P. PEPPER, H. PARTSCH, W. DOSCH and M. BROY, On Hierarchies of Abstract Types, Acta Informatica (to appear). Preliminary version: Technische Universität München, Institut für Informatik, TUM-I 8007. MR720236
[35] 34. M. WIRSING and M. BROY, Abstract Data Types as Lattices of Finitely Generated Models. In P. DEMBINSKI, Ed., Proc. Math. Foundations of Computer Science, Rydzyna, L.N.C.S., Vol. 88, Berlin, Springer, 1980, pp. 673-685. Zbl0441.68014 MR744200 · Zbl 0441.68014
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.