Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Domains and Lambda-Calculi

Name: Domains and Lambda-Calculi
Brand: Cambridge University Press
SKU: 9780521622776
Price: 195.47 EUR
Availability: InStock

Автор: Roberto M. (Universite de Provence) Amadio, Curien, Pierre-Louis (Ecole Normale Superieure, Paris)

Език:

Корици: С твърди корици

Издател: Cambridge University Press

Наличност: Външен склад

Изпращаме след 10-18 дни

195.47 € 382.30 лв

This book describes the mathematical aspects of the semantics of programming languages. The main goa...

Информация за книгата

Автор

Roberto M. (Universite de Provence) Amadio, Curien, Pierre-Louis (Ecole Normale Superieure, Paris)

Език

Английски език

Корици

Книга - С твърди корици

Издадена

1998

страници

504

EAN

9780521622776

ISBN

0521622778

Enbook ID

02037859

Издател

Cambridge University Press

Теглоt

890

Размери

236 x 159 x 37

Пълно описание

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 modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is 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.

Може също да ви хареса

An Enquiry Into the Effects of Public Punishments Upon Criminals and Upon Society: Read in the Society for Promoting Political Enquiries, Convened at

Benjamin Rush

11.61 € 22.70 лв

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Domains and Lambda-Calculi

Информация за книгата

Пълно описание

Може също да ви хареса

Dispute Settlement Reports 2000: Volume 4, Pages 1673-2234

Research Process in Educational Settings (RLE Edu L)

Myogenesis

Lessons to Learn on Your Journey to Greatness: Quotations from Great People, Thoughts from a Master Coach

An Enquiry Into the Effects of Public Punishments Upon Criminals and Upon Society: Read in the Society for Promoting Political Enquiries, Convened at

Cover-Up

Acres of Green and Oceans of Blue: Diary of a Runaway

Okubo Diary (Routledge Revivals)

Bell

Клиенти, които купиха тази книга, купиха също

Municipal Virtues in the Roman Empire

Promesas de Sanidad = Healing Promises

Onkel Florians fliegender Flohmarkt (NA) Jubi

Untreue und Bankrott in der KG und GmbH & Co KG

Moře láska má

A Evoluç?o na Bíblia: A teoria da evoluç?o no livro de Genesis