Denotational semantics of parallel programming languages
Kybernetika (1983)
- Volume: 19, Issue: 3, page 248-262
- ISSN: 0023-5954
Access Full Article
top
How to cite
topBrezány, Peter. "Denotational semantics of parallel programming languages." Kybernetika 19.3 (1983): 248-262. <http://eudml.org/doc/28063>.
@article{Brezány1983,
author = {Brezány, Peter},
journal = {Kybernetika},
keywords = {denotational semantics; parallel programming languages; monitor type language constructs; semantic domains; semantic functions},
language = {eng},
number = {3},
pages = {248-262},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Denotational semantics of parallel programming languages},
url = {http://eudml.org/doc/28063},
volume = {19},
year = {1983},
}
TY - JOUR
AU - Brezány, Peter
TI - Denotational semantics of parallel programming languages
JO - Kybernetika
PY - 1983
PB - Institute of Information Theory and Automation AS CR
VL - 19
IS - 3
SP - 248
EP - 262
LA - eng
KW - denotational semantics; parallel programming languages; monitor type language constructs; semantic domains; semantic functions
UR - http://eudml.org/doc/28063
ER -
References
top- 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. (1979)
- 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. (1980)
- 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. (1976)
- M. J. C. Gordon, The Denotational Description of Programming Languages, Springer-Verlag, Berlin-Heidelberg-New York 1979. (1979) Zbl0412.68004
- G. T. Ligler, Proof Rules, Mathematical Semantics, and Programming Language Design, Ph. D. Dissertation, Oxford University, 1975. (1975)
- R. E. Milne, The Formal Semantics of Computer Languages and Their Implementations, Ph. D. Dissertation, Cambridge University, 1974. (1974)
- R. E. Milne, C. Strachey, A Theory of Programming Language Semantics, Chapman and Hall, London 1976. (1976) Zbl0357.68004
- D. Scott, C. Strachey, Toward a mathematical semantics for computer languages, In: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, 1972. (1972)
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.