Algebraic definition of a functional programming language and its semantic models
Broy, Manfred ; Wirsing, Martin
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 17 (1983), p. 137-161 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1983-01-01
@article{ITA_1983__17_2_137_0,
     author = {Broy, Manfred and Wirsing, Martin},
     title = {Algebraic definition of a functional programming language and its semantic models},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {17},
     year = {1983},
     pages = {137-161},
     mrnumber = {713227},
     zbl = {0515.68017},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1983__17_2_137_0}
}

Broy, Manfred; Wirsing, Martin. Algebraic definition of a functional programming language and its semantic models. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 17 (1983) pp. 137-161. http://gdmltest.u-ga.fr/item/ITA_1983__17_2_137_0/

Note: L.N.C.S., Lecture Notes in Computer Science; I.C.A.L.P., Int. Colloquium on Automata, Languages and Programming.

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. | MR 520392 | Zbl 0383.68013

2. F. L. Bauer and H. Wössner, Algorithmische Sprache und Programmentwicklung, Berlin-Heidelberg-New York, Springer, 1981. | Zbl 0466.68006

3. J. W. De Bakker, Least Fixed Points Revisited. In C. BÖHM, Ed., λ-Calculus and Computer Science Theory, Roma, I.N.C.S., Vol. 37, pp. 27-62, Berlin, Springer, 1975. | MR 474942 | Zbl 0328.68009

4. J. A. Bergstra and J. V. Tucker, Algebraic Specification of Computable and Semi-Computable Data Structures, Afdeling Informatica Amsterdam, IW115/79, 1979. | Zbl 0419.68029

5. G. Birkhoff and J. D. Lipson, Heterogeneous Algebras, J. Comb. Theory, Vol. 8, 1970, pp.115-133. | MR 250887 | Zbl 0211.02003

6. M. Broy, Transformation Parallel Ablaufender Programme, Dissertation, Technische Universitât München, Fakultät für Mathematik, 1980. | Zbl 0461.68013

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. | MR 573235 | Zbl 0404.68026

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. | Zbl 0433.68014

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.

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. | MR 623271 | Zbl 0462.68063

11 M. Broy and M. Wirsing, Partial Abstract Types, Acta Informatica, Vol. 18, 1982, pp. 47-64. | MR 688344 | Zbl 0494.68020

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). | Zbl 0512.68021

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.

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. | Zbl 0435.68017

15. C. C. Chang and H. J. Keisler, Model Theory, Studies in Logic and the Foundations of Mathematics, Vol. 73, Amsterdam, North-Holland, 1973. | MR 409165 | Zbl 0276.02032

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. | MR 519827 | Zbl 0384.68016

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.

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.

19. G. Grätzer, Universal Algebra, Princeton, Van Nostrand, 1968. | MR 248066 | Zbl 0182.34201

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.

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. | MR 495103 | Zbl 0387.68011

22. S. Mclane, Categories for the Working Mathematician, Berlin: Springer, 1971. | MR 354798 | Zbl 0232.18001

23. Z. Manna, Mathematical Theory of Computation,New York, McGram Hill, 1974 | MR 400771 | Zbl 0353.68066

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. | MR 440995 | Zbl 0358.68017

25. R. Milner, Fully Abstract Models of Types -Calculi, Vol. 4, 1977, pp. 1-22. | MR 498061 | Zbl 0386.03006

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.

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. | MR 583152 | Zbl 0408.68074

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. | MR 428768 | Zbl 0302.68019

29. H. Jr. Rogers, Theory of Recursive Functions and Effective Computability, New York, McGraw-Hill Book Company, 1967. | MR 224462 | Zbl 0183.01401

30. J. R. Shoenfield, Mathematical Logic, Reading (Massachusetts): Addison-Wesley, 1969. | MR 225631 | Zbl 0155.01102

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. | MR 519830 | Zbl 0394.68008

32. M. Wand, First-Order Identities as a Defining Language, Indiana University, Comp. Science Department, Technical Report No. 29, 1977.

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. | MR 720236

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. | MR 744200 | Zbl 0441.68014