Una teoria algebrica per i « guarded commands » di Dijkstra
Casadei, Giorgio ; Righi, Roberto ; Teolis, Antonio G. B.
Rendiconti del Seminario Matematico della Università di Padova, Tome 60 (1978), p. 269-283 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1978-01-01
@article{RSMUP_1978__59__269_0,
     author = {Casadei, Giorgio and Righi, Roberto and Teolis, Antonio G. B.},
     title = {Una teoria algebrica per i \guillemotleft{} guarded commands \guillemotright{} di Dijkstra},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     volume = {60},
     year = {1978},
     pages = {269-283},
     mrnumber = {547092},
     zbl = {0456.68027},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RSMUP_1978__59__269_0}
}

Casadei, Giorgio; Righi, Roberto; Teolis, Antonio G. B. Una teoria algebrica per i « guarded commands » di Dijkstra. Rendiconti del Seminario Matematico della Università di Padova, Tome 60 (1978) pp. 269-283. http://gdmltest.u-ga.fr/item/RSMUP_1978__59__269_0/

[0] J. Kott, Remarque sur la structure des schemes de programmes, in Automata Languages and Programming, M. NIVAT (ed.), North Holland Pub. Co., Amsterdam (1972), pp. 265-271. | MR 383811 | Zbl 0262.68005

[1] A. Chiarini - A.G.B. Teolis, Mathematical Foundations for Formal Programming, C.N.E.N. RT/EDP (76)2.

[2] R. Righi - A.G.B. Teolis, Program Transformations: D- and BJn-charts, C.N.E.N. RT/EDP (78) 5.

[3] E.W. Dijkstra, A Discipline of Programming, Prentice Hall, 1976. | MR 660283 | Zbl 0368.68005

[4] H.F. Ledgard - M. MARCOTTY, A Genealogy of Control Structures, Comm. ACM, 18, no. 11 (1975), pp. 829-639. | Zbl 0313.68024

[5] J.A. Goguen - J.W. Thatcher - E.G. Wagner - J.B. Wright, Initial Algebra Semantics and Continuous Algebras, J. ACM, 24, no. 1 (1977), pp. 68-95. | MR 520711 | Zbl 0359.68018