This is a book in theoretical computer science that explores the semantics of programming languages with topological methods. Aimed at research workers and advanced graduate students in computer science, the book presents an important contribution to the theory of programming languages ami the semantics that underlie their construction.
Comparative Metric Semantics of Programming Languages, No...
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
finitely branching labelled transition system, point proof principle, finite labelled transition system, syntactic store, branching operational semantics, compactly branching, linearize operator, nonexpansive image, compact operational semantics, image finite trees, three branching domains, unique fixed point property, generalized finiteness conditions, nonexpansive functions, operational semantic models, additional metric structure, labels with the discrete, contractive function, many outgoing transitions, comparative metric semantics, dense choice, mantics transformations, other semantic models, second order communication, labelled transition systems Key Phrases - Capitalized Phrases (CAPs): (learn more)
Let the Be-process New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
finitely branching labelled transition system, point proof principle, finite labelled transition system, syntactic store, branching operational semantics, compactly branching, linearize operator, nonexpansive image, compact operational semantics, image finite trees, three branching domains, unique fixed point property, generalized finiteness conditions, nonexpansive functions, operational semantic models, additional metric structure, labels with the discrete, contractive function, many outgoing transitions, comparative metric semantics, dense choice, mantics transformations, other semantic models, second order communication, labelled transition systems Key Phrases - Capitalized Phrases (CAPs): (learn more)
Let the Be-process New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 18
books:
See all 18 books this book cites
- Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, La, Usa, April 7-10, 1993 : Proceedings (Lecture Notes in Computer Science) by International Conference on the Mathematical Foundations of programmin on 5 pages
- Process Algebra (Cambridge Tracts in Theoretical Computer Science) by J. C. M. Baeten in Back Matter (1), Back Matter (2), and Back Matter (3)
- Current Trends in Concurrency (Lecture Notes in Computer Science) by J. W. De Bakker in Back Matter (1), and Back Matter (2)
- Communicating Sequential Processes (Prentice Hall International Series in Computing Science) by C.A.R. Hoare in Back Matter (1), and Back Matter (2)
- Action Semantics (Cambridge Tracts in Theoretical Computer Science) by Peter D. Mosses in Back Matter
See all 18 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering
- Books > Computers & Technology > Programming > Algorithms
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Software
- Books > New & Used Textbooks > Computer Science > Algorithms
- Books > New & Used Textbooks > Computer Science > Programming Languages
- Books > New & Used Textbooks > Computer Science > Software Design & Engineering
- Books > New & Used Textbooks > Science & Mathematics > Mathematics
- Books > Science & Math > Mathematics
