Name: semantics: foundations and applications
SKU: 3485664
Price: 3368.00 TWD
Availability: InStock
ISBN: 9783540565963

Select your country

Americas

Europe

Rest of the world

portada semantics: foundations and applications

Type

Physical Book

Publisher

Springer

Language

English

Pages

659

ISBN

3540565965

ISBN13

9783540565963

Synopsis "semantics: foundations and applications"

researchers working on the semantics of programming languages came together in the netherlands in june 1992 for a workshop on semantics - foundations and applications. this volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. the volume includes papers on a wide range of topics in both foundationsand applications, including: - comparative domain theory, category theory, information systems, - concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - predicate transformers, refinement,weakest preconditions, - comparative semantics of programming concepts, full abstraction, - reasoning about programs: total correctness, epistemic logic, - logic programming, - functional programming: sequentiality, integration with concurrency, applied structured operational semantics. the workshop was an activity of the project rex (research andeducation in concurrent systems) sponsored by the netherlands nfi (nationalefaciliteit informatica) programme.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews