Sinossi
During the last three decades several different styles of semantics for program ming languages have been developed. Besides non determinism our four example languages contain some form of recursion, a key ingredient of programming languages.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Nondeterminism and recursion.- Operational semantics.- Denotational semantics.- Metric spaces.- Comparative semantics.- Bibliographic notes.- I.- 1 Domain equations.- 1.1 Building domain equations.- 1.2 Solving domain equations.- 1.3 Bibliographic notes.- 2 Linear and branching domains.- 2.1 Two linear domains.- 2.2 Comparison of the linear domains.- 2.3 Three branching domains.- 2.4 Comparison of the branching domains.- 2.5 Relating linear and branching domains.- 2.6 Bibliographic notes.- II.- 3 Operational semantics.- 3.1 Labelled transition systems.- 3.2 Operational semantics.- 3.3 Linear semantics transformations.- 3.3.1 Compactness preserving.- 3.3.2 Closedness preserving.- 3.4 Branching semantics transformations.- 3.4.1 Compactness preserving.- 3.4.2 Closedness preserving.- 3.5 Relating semantics transformations.- 3.6 Bibliographic notes.- 4 Nondeterministic choice.- 4.1 Language definition.- 4.2 Operational semantics.- 4.3 Denotational semantics.- 4.4 Relating O and D.- 4.5 Bibliographic notes.- 5 Random assignment.- 5.1 Language definition.- 5.2 Operational semantics.- 5.3 Denotational semantics.- 5.4 Relating O and D.- 5.5 Bibliographic notes.- III.- 6 Generalized finiteness conditions.- 6.1 Metric labelled transition systems.- 6.2 Operational semantics.- 6.3 Linear semantics transformations.- 6.3.1 Compactness and nonexpansiveness preserving.- 6.3.2 Closedness and nonexpansiveness preserving.- 6.4 Branching semantics transformations.- 6.5 Relating semantics transformations.- 6.6 Bibliographic notes.- 7 Dense choice.- 7.1 Language definition.- 7.2 Operational semantics.- 7.3 Denotational semantics.- 7.4 Relating O and D.- 7.5 Bibliographic notes.- 8 Second order communication.- 8.1 Language definition.- 8.2 Operational semantics.- 8.3 Denotational semantics.- 8.4 Relating O and D.- 8.4.1 Intermediate semantics.- 8.4.2 Relating I and D.- 8.4.3 Relating O and I.- 8.5 Bibliographic notes.- A Metric spaces.- A.1 Metrics.- A.2 Completeness and contractiveness.- A.3 Hyperspaces.- A.4 Nonexpansive functions.- A.5 Bibliographic notes.- Author index.
Product Description
Book by Breughel Franck van
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Comparative Metric Semantics of Programming Languages:...
Foto dell'editore
Comparaive Metric Semantics of Programming Languages: Nondeterminism And Recursion (Progress in Theoretical Computer Science)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-288227
Compra nuovo
EUR 62,31
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Comparative metric semantics of programming languages. Nondeterminism and recursion.
Editore:
Boston, Birkhäuser, 1998
ISBN 10: 0817639276
ISBN 13: 9780817639273
Antico o usato
Rilegato
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
Hardcover. 220 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9780817639273 Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 2340759
Compra usato
EUR 36,40
Spedizione EUR 40,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Comparative Metric Semantics of Programming Languages - Nondeterminism and Recursion
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-122540
Compra nuovo
EUR 90,94
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Comparative Metric Semantics of Programming Languages - Nondeterminism and Recursion
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABBB-154358
Compra nuovo
EUR 91,19
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780817639273_new
Compra nuovo
EUR 114,38
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 207009-n
Compra nuovo
EUR 114,37
Spedizione EUR 17,32
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 207009-n
Compra nuovo
EUR 129,65
Spedizione EUR 2,24
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Comparative Metric Semantics of Programming Languages
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Gebunden. Condizione: New. Codice articolo 5975569
Compra nuovo
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. 1997. Hardcover. . . . . . Codice articolo V9780817639273
Compra nuovo
EUR 131,70
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: 15 disponibili
Immagini fornite dal venditore
Comparative Metric Semantics of Programming Languages
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 244 pp. Englisch. Codice articolo 9780817639273
Compra nuovo
EUR 139,09
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili