Books > Computing & IT > General theory of computing > Mathematical theory of computation
|
Buy Now
Domains and Lambda-Calculi (Paperback)
Loot Price: R1,904
Discovery Miles 19 040
|
|
Domains and Lambda-Calculi (Paperback)
Series: Cambridge Tracts in Theoretical Computer Science
Expected to ship within 10 - 15 working days
|
This book describes the mathematical aspects of the semantics of
programming languages. The main goals are to provide formal tools
to assess the meaning of programming constructs in both a
language-independent and a machine-independent way and to prove
properties about programs, such as whether they terminate, or
whether their result is a solution of the problem they are supposed
to solve. In order to achieve this the authors first present, in an
elementary and unified way, the theory of certain topological
spaces that have proved of use in the modeling of various families
of typed lambda calculi considered as core programming languages
and as meta-languages for denotational semantics. This theory is
now known as Domain Theory, and was founded as a subject by Scott
and Plotkin. One of the main concerns is to establish links between
mathematical structures and more syntactic approaches to semantics,
often referred to as operational semantics, which is also
described. This dual approach has the double advantage of
motivating computer scientists to do some mathematics and of
interesting mathematicians in unfamiliar application areas from
computer science.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.