Geodesic
Denotational semantics of parallel programming languages
Kybernetika, Tome 19 (1983) no. 3, pp. 248-262 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 68F20, 68Q55 
@article{KYB_1983_19_3_a5,
     author = {Brez\'any, Peter},
     title = {Denotational semantics of parallel programming languages},
     journal = {Kybernetika},
     pages = {248--262},
     year = {1983},
     volume = {19},
     number = {3},
     mrnumber = {716653},
     zbl = {0512.68068},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1983_19_3_a5/}
}
TY  - JOUR
AU  - Brezány, Peter
TI  - Denotational semantics of parallel programming languages
JO  - Kybernetika
PY  - 1983
SP  - 248
EP  - 262
VL  - 19
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/KYB_1983_19_3_a5/
LA  - en
ID  - KYB_1983_19_3_a5
ER  - 
%0 Journal Article
%A Brezány, Peter
%T Denotational semantics of parallel programming languages
%J Kybernetika
%D 1983
%P 248-262
%V 19
%N 3
%U http://geodesic.mathdoc.fr/item/KYB_1983_19_3_a5/
%G en
%F KYB_1983_19_3_a5
Brezány, Peter. Denotational semantics of parallel programming languages. Kybernetika, Tome 19 (1983) no. 3, pp. 248-262. http://geodesic.mathdoc.fr/item/KYB_1983_19_3_a5/

[1] P. Brezány: Towards Development and Application of the Functional Formal Semantics Theory to Some Elements of Modern Programming Languages. (in Slovak). Ph. D. Dissertation, Faculty of Electrical Engineering, Slovak Technical University, Bratislava 1979.

[2] P. Brezány, L. Ščepánek: Denotational semantics and compiler generation of parallel programming languages. In: Zborník seminára "Moderní programování", Tatranská Lomnica 1980, 11-20.

[3] P. Brinch Hansen: The programming language Concurrent Pascal. In: Language Hierarchies and Interfaces (F. L. Bauer, K. Samelson, eds.), Springer-Verlag, Berlin-Heidelberg-New York 1976, 82-110.

[4] M. J. C. Gordon: The Denotational Description of Programming Languages. Springer-Verlag, Berlin-Heidelberg-New York 1979. | Zbl

[5] G. T. Ligler: Proof Rules, Mathematical Semantics, and Programming Language Design. Ph. D. Dissertation, Oxford University, 1975.

[6] R. E. Milne: The Formal Semantics of Computer Languages and Their Implementations. Ph. D. Dissertation, Cambridge University, 1974.

[7] R. E. Milne, C. Strachey: A Theory of Programming Language Semantics. Chapman and Hall, London 1976. | Zbl

[8] D. Scott, C. Strachey: Toward a mathematical semantics for computer languages. In: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, 1972.