Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Domains and Lambda-Calculi Roberto M. (Universite de Provence) Amadio

Domains and Lambda-Calculi

Autor: Roberto M. (Universite de Provence) Amadio, Curien, Pierre-Louis (Ecole Normale Superieure, Paris)
Jazyk: Angličtina
Vazba: Pevná
Vydavatel: Cambridge University Press
Dostupnost: Skladem u dodavatele
Odesíláme za 10-18 dnů
4 271 Kč
This book describes the mathematical aspects of the semantics of programming languages. The main goa...

Informace o knize

Autor
Roberto M. (Universite de Provence) Amadio, Curien, Pierre-Louis (Ecole Normale Superieure, Paris)
Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
1998
Stránek
504
EAN
9780521622776
ISBN
0521622778
Enbook ID
02037859
Vydavatel
Cambridge University Press
Hmotnost
890
Rozměry
236 x 159 x 37

Kompletní popis

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.

Mohlo by vás zajímat

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

World Trade Organization
5 619 Kč

Research Process in Educational Settings (RLE Edu L)

Robert Burgess
5 497 Kč

Myogenesis

Joseph X. DiMario
5 079 Kč

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

Randy B Smith
280 Kč

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
263 Kč

Cover-Up

John Feinstein
170 Kč

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

John Dwayne Evans
234 Kč

Okubo Diary (Routledge Revivals)

Brian Moeran
1 570 Kč

Bell

Iris Murdoch
228 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Municipal Virtues in the Roman Empire

Elizabeth Forbis
2 991 Kč

Promesas de Sanidad = Healing Promises

Joseph Prince
236 Kč

Onkel Florians fliegender Flohmarkt (NA) Jubi

Paul Maar
352 Kč

Untreue und Bankrott in der KG und GmbH & Co KG

Christian Brand
2 242 Kč

Moře láska má

Vítězslav Nezval
233 Kč

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

Leonardo Olivieri Carvalho
391 Kč