Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9780817639273: Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

9781461286806: Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)

Featured Edition

ISBN 10:  1461286808 ISBN 13:  9781461286806
Publisher: Birkhäuser, 2011
Softcover

Top Search Results from the AbeBooks Marketplace

1.

Franck van Breughel
Published by Birkhäuser (1997)
ISBN 10: 0817639276 ISBN 13: 9780817639273
New Hardcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Birkhäuser, 1997. Condition: New. book. Seller Inventory # M0817639276

More information about this seller | Contact this seller

Buy New
US$ 36.24
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

2.

Franck van Breughel
Published by Birkhäuser (1997)
ISBN 10: 0817639276 ISBN 13: 9780817639273
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Birkhäuser, 1997. Hardcover. Condition: New. 1996. Seller Inventory # DADAX0817639276

More information about this seller | Contact this seller

Buy New
US$ 66.25
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

3.

Franck van Breughel
Published by BIRKHAUSER BOSTON INC, United States (1998)
ISBN 10: 0817639276 ISBN 13: 9780817639273
New Hardcover Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description BIRKHAUSER BOSTON INC, United States, 1998. Hardback. Condition: New. 1998 ed.. Language: English. Brand new Book. 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. Seller Inventory # LIE9780817639273

More information about this seller | Contact this seller

Buy New
US$ 148.71
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Breughel, Franck van
Published by Birkhauser Boston Inc (1997)
ISBN 10: 0817639276 ISBN 13: 9780817639273
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Birkhauser Boston Inc, 1997. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780817639273

More information about this seller | Contact this seller

Buy New
US$ 152.14
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

5.

Breugel, Frank Van
Published by Birkhäuser (2016)
ISBN 10: 0817639276 ISBN 13: 9780817639273
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Birkhäuser, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9780817639273_lsuk

More information about this seller | Contact this seller

Buy New
US$ 159.10
Convert currency

Add to Basket

Shipping: US$ 5.07
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Franck van Breughel
Published by Birkh?user (1997)
ISBN 10: 0817639276 ISBN 13: 9780817639273
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Birkh?user, 1997. HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780817639273

More information about this seller | Contact this seller

Buy New
US$ 158.00
Convert currency

Add to Basket

Shipping: US$ 11.79
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Breughel Franck Van
Published by Springer
ISBN 10: 0817639276 ISBN 13: 9780817639273
New Quantity Available: 1
Seller:
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description Springer. Condition: New. pp. 244. Seller Inventory # 7547359

More information about this seller | Contact this seller

Buy New
US$ 169.14
Convert currency

Add to Basket

Shipping: US$ 7.21
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

FRANCK VAN BREUGHEL
Published by BirkhÇÏuser (1997)
ISBN 10: 0817639276 ISBN 13: 9780817639273
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description BirkhÇÏuser, 1997. Hardback. Condition: NEW. 9780817639273 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0285565

More information about this seller | Contact this seller

Buy New
US$ 167.76
Convert currency

Add to Basket

Shipping: US$ 10.46
From United Kingdom to U.S.A.
Destination, rates & speeds

9.

Frank Van Breugel; F. Van Breugel; Franck Van Breugel
Published by Birkhäuser (1997)
ISBN 10: 0817639276 ISBN 13: 9780817639273
New Hardcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Birkhäuser, 1997. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9780817639273

More information about this seller | Contact this seller

Buy New
US$ 180.74
Convert currency

Add to Basket

Shipping: US$ 3.45
From Germany to U.S.A.
Destination, rates & speeds

10.

Franck van Breughel
Published by BIRKHAUSER BOSTON INC, United States (1998)
ISBN 10: 0817639276 ISBN 13: 9780817639273
New Hardcover Quantity Available: 10
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description BIRKHAUSER BOSTON INC, United States, 1998. Hardback. Condition: New. 1998 ed.. Language: English. Brand new Book. 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. Seller Inventory # APC9780817639273

More information about this seller | Contact this seller

Buy New
US$ 194.25
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book