| 書目名稱 | Comparative Metric Semantics of Programming Languages |
| 副標題 | Nondeterminism and R |
| 編輯 | Franck Breugel |
| 視頻video | http://file.papertrans.cn/231/230945/230945.mp4 |
| 叢書名稱 | Progress in Theoretical Computer Science |
| 圖書封面 |  |
| 描述 | During the last three decades several different styles of semantics for program- ming languages have been developed. This book compares two of them: the operational and the denotational approach. On the basis of several exam- ples we show how to define operational and denotational semantic models for programming languages. Furthermore, we introduce a general technique for comparing various semantic models for a given language. We focus on different degrees of nondeterminism in programming lan- guages. Nondeterminism arises naturally in concurrent languages. It is also an important concept in specification languages. In the examples discussed, the degree of non determinism ranges from a choice between two alternatives to a choice between a collection of alternatives indexed by a closed interval of the real numbers. The former arises in a language with nondeterministic choices. A real time language with dense choices gives rise to the latter. We also consider the nondeterministic random assignment and parallel composition, both couched in a simple language. Besides non determinism our four example languages contain some form of recursion, a key ingredient of programming languages. |
| 出版日期 | Book 1998 |
| 關鍵詞 | Computer Science; Natural; Notation; communication; programming; programming language; semantics; algorithm |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4612-4160-7 |
| isbn_softcover | 978-1-4612-8680-6 |
| isbn_ebook | 978-1-4612-4160-7 |
| copyright | Birkh?user Boston 1998 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 17:38
發(fā)表于 2025-3-21 18:55:22
