Cantitate/Preț
Produs

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

Autor Franck van Breughel
en Limba Engleză Paperback – 26 sep 2011
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 60905 lei  6-8 săpt.
  Birkhäuser Boston – 26 sep 2011 60905 lei  6-8 săpt.
Hardback (1) 61625 lei  6-8 săpt.
  Birkhäuser Boston – 18 dec 1997 61625 lei  6-8 săpt.

Din seria Progress in Theoretical Computer Science

Preț: 60905 lei

Preț vechi: 76131 lei
-20% Nou

Puncte Express: 914

Preț estimativ în valută:
11663 12615$ 9718£

Carte tipărită la comandă

Livrare economică 11-25 decembrie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781461286806
ISBN-10: 1461286808
Pagini: 244
Ilustrații: XX, 220 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.35 kg
Ediția:1998
Editura: Birkhäuser Boston
Colecția Birkhäuser
Seria Progress in Theoretical Computer Science

Locul publicării:Boston, MA, United States

Public țintă

Research

Cuprins

Nondeterminism and recursion.- Operational semantics.- Denotational semantics.- Metric spaces.- Comparative semantics.- Bibliographic notes.- I.- 1 Domain equations.- 2 Linear and branching domains.- II.- 3 Operational semantics.- 4 Nondeterministic choice.- 5 Random assignment.- III.- 6 Generalized finiteness conditions.- 7 Dense choice.- 8 Second order communication.- A Metric spaces.- A.1 Metrics.- A.2 Completeness and contractiveness.- A.3 Hyperspaces.- A.4 Nonexpansive functions.- A.5 Bibliographic notes.- Author index.