Ponad 4 miliony tytułów w języku angielskim i innych językach! Odkryj swoją nową historię już dziś!

Domains and Lambda-Calculi

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

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

Język:

Oprawa: Twarda

Wydawca: Cambridge University Press

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-18 dni

749.89 zł

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

Informacje o książce

Autor

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

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

1998

strony

504

EAN

9780521622776

ISBN

0521622778

Enbook ID

02037859

Wydawca

Cambridge University Press

Waga

890

Wymiary

236 x 159 x 37

Pełny opis

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.

Możesz być zainteresowany

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

49.17 zł

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Domains and Lambda-Calculi

Informacje o książce

Pełny opis

Możesz być zainteresowany

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

Klienci, którzy kupili tę książkę, kupili również

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