| Title:
|
Denotational semantics of parallel programming languages (English) |
| Author:
|
Brezány, Peter |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
19 |
| Issue:
|
3 |
| Year:
|
1983 |
| Pages:
|
248-262 |
| . |
| Category:
|
math |
| . |
| MSC:
|
68F20 |
| MSC:
|
68Q55 |
| idZBL:
|
Zbl 0512.68068 |
| idMR:
|
MR716653 |
| . |
| Date available:
|
2009-09-24T17:34:35Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124908 |
| . |
| Reference:
|
[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. |
| Reference:
|
[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. |
| Reference:
|
[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. |
| Reference:
|
[4] M. J. C. Gordon: The Denotational Description of Programming Languages.Springer-Verlag, Berlin-Heidelberg-New York 1979. Zbl 0412.68004 |
| Reference:
|
[5] G. T. Ligler: Proof Rules, Mathematical Semantics, and Programming Language Design.Ph. D. Dissertation, Oxford University, 1975. |
| Reference:
|
[6] R. E. Milne: The Formal Semantics of Computer Languages and Their Implementations.Ph. D. Dissertation, Cambridge University, 1974. |
| Reference:
|
[7] R. E. Milne, C. Strachey: A Theory of Programming Language Semantics.Chapman and Hall, London 1976. Zbl 0357.68004 |
| Reference:
|
[8] D. Scott, C. Strachey: Toward a mathematical semantics for computer languages.In: Proc. Symp. on Computers and Automata, Polytechnic Institute of Brooklyn, 1972. |
| . |
