{"product_id":"comparative-metric-semantics-of-programming-languages-nondeterminism-and-recursion-9781461286806","title":"Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion","description":"\u003cp\u003e • Author(s): Franck Van Breughel\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Birkhauser\u003cbr\u003e • BISAC: Applied\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eDuring 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45281556234391,"sku":"9781461286806","price":7277.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781461286806.webp?v=1769299557","url":"https:\/\/atlanticbooks.com\/products\/comparative-metric-semantics-of-programming-languages-nondeterminism-and-recursion-9781461286806","provider":"Atlantic Books","version":"1.0","type":"link"}